BibTeX record conf/dsrt/ChengBEK09

• > Home > conf/dsrt/ChengBEK09

@inproceedings{DBLP:conf/dsrt/ChengBEK09,
  author       = {Chih{-}Hong Cheng and
                  Christian Buckl and
                  Javier Esparza and
                  Alois C. Knoll},
  editor       = {Stephen John Turner and
                  David J. Roberts and
                  Wentong Cai and
                  Abdulmotaleb El{-}Saddik},
  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},
  pages        = {208--215},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/DS-RT.2009.20},
  doi          = {10.1109/DS-RT.2009.20},
  timestamp    = {Thu, 23 Mar 2023 23:58:25 +0100},
  biburl       = {https://dblp.org/rec/conf/dsrt/ChengBEK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}