BibTeX record: conf/dsrt/ChengBEK09

download as .bib file

@inproceedings{DBLP:conf/dsrt/ChengBEK09,
  author    = {{Chih-Hong} Cheng and
               Christian Buckl and
               Javier Esparza and
               Alois Knoll},
  title     = {Modeling and Verification for Timing Satisfaction of Fault-Tolerant
               Systems with Finiteness.},
  booktitle = {13th {IEEE/ACM} International Symposium on Distributed Simulation
               and Real Time Applications, Singapore, 25-28 October 2009},
  year      = {2009},
  pages     = {208--215},
  crossref  = {DBLP:conf/dsrt/2009},
  url       = {http://doi.ieeecomputersociety.org/10.1109/DS-RT.2009.20},
  doi       = {10.1109/DS-RT.2009.20},
  timestamp = {Wed, 03 Sep 2014 00:03:43 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/dsrt/ChengBEK09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/dsrt/2009,
  editor    = {Stephen John Turner and
               David J. Roberts and
               Wentong Cai and
               Abdulmotaleb {El-Saddik}},
  title     = {13th {IEEE/ACM} International Symposium on Distributed Simulation
               and Real Time Applications, Singapore, 25-28 October 2009},
  year      = {2009},
  publisher = {{IEEE} Computer Society},
  isbn      = {978-0-7695-3868-6},
  timestamp = {Wed, 03 Sep 2014 00:03:43 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/dsrt/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}