BibTeX record conf/fates/LarsenMN04

download as .bib file

@inproceedings{DBLP:conf/fates/LarsenMN04,
  author    = {Kim Guldstrand Larsen and
               Marius Mikucionis and
               Brian Nielsen},
  editor    = {Jens Grabowski and
               Brian Nielsen},
  title     = {Online Testing of Real-time Systems Using Uppaal},
  booktitle = {Formal Approaches to Software Testing, 4th International Workshop,
               {FATES} 2004, Linz, Austria, September 21, 2004, Revised Selected
               Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {3395},
  pages     = {79--94},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/978-3-540-31848-4\_6},
  doi       = {10.1007/978-3-540-31848-4\_6},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/conf/fates/LarsenMN04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics