BibTeX record journals/corr/abs-1009-4265

download as .bib file

@inproceedings{DBLP:journals/corr/abs-1009-4265,
  author    = {Peter Csaba {\"{O}}lveczky and
               Jos{\'{e}} Meseguer},
  editor    = {Peter Csaba {\"{O}}lveczky},
  title     = {Specification and Verification of Distributed Embedded Systems: {A}
               Traffic Intersection Product Family},
  booktitle = {Proceedings First International Workshop on Rewriting Techniques for
               Real-Time Systems, {RTRTS} 2010, Longyearbyen, Norway, April 6-9,
               2010},
  series    = {{EPTCS}},
  volume    = {36},
  pages     = {137--157},
  year      = {2010},
  url       = {https://doi.org/10.4204/EPTCS.36.8},
  doi       = {10.4204/EPTCS.36.8},
  timestamp = {Wed, 12 Sep 2018 01:05:13 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1009-4265.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics