BibTeX record journals/tc/XuRRSZCH02

download as .bib file

@article{DBLP:journals/tc/XuRRSZCH02,
  author    = {Jie Xu and
               Brian Randell and
               Alexander B. Romanovsky and
               Robert J. Stroud and
               Avelino F. Zorzo and
               Ercument Canver and
               Friedrich W. von Henke},
  title     = {Rigorous Development of an Embedded Fault-Tolerant System Based on
               Coordinated Atomic Actions},
  journal   = {{IEEE} Trans. Computers},
  volume    = {51},
  number    = {2},
  pages     = {164--179},
  year      = {2002},
  url       = {https://doi.org/10.1109/12.980006},
  doi       = {10.1109/12.980006},
  timestamp = {Sat, 23 Jun 2018 23:28:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tc/XuRRSZCH02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier