AmnellBBDDFHJLMPWY00'

@inproceedings{DBLP:conf/movep/AmnellBBDDFHJLMPWY00,
  author    = {Tobias Amnell and
               Gerd Behrmann and
               Johan Bengtsson and
               Pedro R. D'Argenio and
               Alexandre David and
               Ansgar Fehnker and
               Thomas Hune and
               Bertrand Jeannet and
               Kim Guldstrand Larsen and
               M. Oliver M{\"o}ller and
               Paul Pettersson and
               Carsten Weise and
               Wang Yi},
  title     = {UPPAAL - Now, Next, and Future},
  booktitle = {MOVEP},
  year      = {2000},
  pages     = {99-124},
  ee        = {http://dx.doi.org/10.1007/3-540-45510-8_4},
  crossref  = {DBLP:conf/movep/2000},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/movep/2000,
  editor    = {Franck Cassez and
               Claude Jard and
               Brigitte Rozoy and
               Mark Dermot Ryan},
  title     = {Modeling and Verification of Parallel Processes, 4th Summer
               School, MOVEP 2000, Nantes, France, June 19-23, 2000},
  booktitle = {MOVEP},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2067},
  year      = {2001},
  isbn      = {3-540-42787-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}