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    = {Mon, 05 Feb 2024 20:25:28 +0100},
  biburl       = {https://dblp.org/rec/journals/tc/XuRRSZCH02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics