%0 Journal Article %1 journals/cj/BernardeschiFS00 %A Bernardeschi, Cinzia %A Fantechi, Alessandro %A Simoncini, Luca %D 2000 %J Comput. J. %K dblp %N 3 %P 191-205 %T Formally Verifying Fault Tolerant System Designs. %U http://dblp.uni-trier.de/db/journals/cj/cj43.html#BernardeschiFS00 %V 43

@article{journals/cj/BernardeschiFS00, added-at = {2011-06-28T00:00:00.000+0200}, author = {Bernardeschi, Cinzia and Fantechi, Alessandro and Simoncini, Luca}, biburl = {https://www.bibsonomy.org/bibtex/21f03752a3cccbab0750df0e0b5316f1c/dblp}, ee = {http://dx.doi.org/10.1093/comjnl/43.3.191}, interhash = {262b1701cd5acdbd541b26a6bd9dcb1e}, intrahash = {1f03752a3cccbab0750df0e0b5316f1c}, journal = {Comput. J.}, keywords = {dblp}, number = 3, pages = {191-205}, timestamp = {2011-06-29T16:38:48.000+0200}, title = {Formally Verifying Fault Tolerant System Designs.}, url = {http://dblp.uni-trier.de/db/journals/cj/cj43.html#BernardeschiFS00}, volume = 43, year = 2000 }