Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

- view
  authority control:
- export record
  dblp key:
  - conf/sefm/WeiWB10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/WeiWB10
Kun Wei, Jim Woodcock, Alan Burns:
A Timed Model of Circus with the Reactive Design Miracle. SEFM 2010: 315-319
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/WeitlNF10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/WeitlNF10
Franz Weitl, Shin Nakajima, Burkhard Freitag:
Structured Counterexamples for the Temporal Description Logic ALCCTL. SEFM 2010: 232-243
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/WinterHC10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/WinterHC10
Kirsten Winter, Ian J. Hayes, Robert Colvin:
Integrating Requirements: The Behavior Tree Philosophy. SEFM 2010: 41-50
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/XuZC10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/XuZC10
Zhiwu Xu, Lixiao Zheng, Haiming Chen:
A Toolkit for Generating Sentences from Context-Free Grammars. SEFM 2010: 118-122
- view
- export record
  dblp key:
  - conf/sefm/2010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/2010
José Luiz Fiadeiro, Stefania Gnesi, Andrea Maggiolo-Schettini:
8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010, Pisa, Italy, 13-18 September 2010. IEEE Computer Society 2010, ISBN 978-0-7695-4153-2 [contents]