BibTeX record conf/movep/AmnellBBDDFHJLMPWY00

download as .bib file

@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 = {Modeling and Verification of Parallel Processes, 4th Summer School,
               {MOVEP} 2000, Nantes, France, June 19-23, 2000},
  pages     = {99--124},
  year      = {2000},
  crossref  = {DBLP:conf/movep/2000},
  url       = {https://doi.org/10.1007/3-540-45510-8\_4},
  doi       = {10.1007/3-540-45510-8\_4},
  timestamp = {Sun, 04 Jun 2017 10:08:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/movep/AmnellBBDDFHJLMPWY00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  series    = {Lecture Notes in Computer Science},
  volume    = {2067},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45510-8},
  doi       = {10.1007/3-540-45510-8},
  isbn      = {3-540-42787-2},
  timestamp = {Fri, 26 May 2017 14:09:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/movep/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier