BibTeX record conf/peccs/Larsen14

download as .bib file

@inproceedings{DBLP:conf/peccs/Larsen14,
  author    = {Kim G. Larsen},
  editor    = {C{\'{e}}sar Benavente{-}Peces and
               Andreas Ahrens and
               Joaquim Filipe},
  title     = {Verification and Performance Analysis of Embedded and Cyber-Physical
               Systems using {UPPAAL}},
  booktitle = {{PECCS} 2014 - Proceedings of the 4th International Conference on
               Pervasive and Embedded Computing and Communication Systems, Lisbon,
               Portugal, 7-9 January, 2014},
  pages     = {IS--9},
  publisher = {SciTePress},
  year      = {2014},
  timestamp = {Thu, 15 May 2014 14:03:06 +0200},
  biburl    = {https://dblp.org/rec/conf/peccs/Larsen14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics