%0 Journal Article %1 journals/tc/XuRRSZCH02 %A Xu, Jie %A Randell, Brian %A Romanovsky, Alexander B. %A Stroud, Robert J. %A Zorzo, Avelino F. %A Canver, Ercument %A von Henke, Friedrich W. %D 2002 %J IEEE Trans. Computers %K %N 2 %P 164-179 %T Rigorous Development of an Embedded Fault-Tolerant System Based on Coordinated Atomic Actions. %U http://dblp.uni-trier.de/db/journals/tc/tc51.html#XuRRSZCH02 %V 51

@article{journals/tc/XuRRSZCH02, added-at = {2023-12-12T17:33:16.000+0100}, author = {Xu, Jie and Randell, Brian and Romanovsky, Alexander B. and Stroud, Robert J. and Zorzo, Avelino F. and Canver, Ercument and von Henke, Friedrich W.}, biburl = {https://www.bibsonomy.org/bibtex/21bd6ca0a28033d64e485b098fd6c8777/admin}, ee = {http://doi.ieeecomputersociety.org/10.1109/12.980006}, interhash = {055df3ffe7bbca71f06ad64ed069afa1}, intrahash = {1bd6ca0a28033d64e485b098fd6c8777}, journal = {IEEE Trans. Computers}, keywords = {}, number = 2, pages = {164-179}, timestamp = {2023-12-12T17:33:16.000+0100}, title = {Rigorous Development of an Embedded Fault-Tolerant System Based on Coordinated Atomic Actions.}, url = {http://dblp.uni-trier.de/db/journals/tc/tc51.html#XuRRSZCH02}, volume = 51, year = 2002 }