%0 Conference Paper %1 conf/fm/OwreRSH93 %A Owre, Sam %A Rushby, John M. %A Shankar, Natarajan %A von Henke, Friedrich W. %B FME %D 1993 %E Woodcock, Jim %E Larsen, Peter Gorm %I Springer %K dblp %P 482-500 %T Formal Verification for Fault-Tolerant Architectures: Some Lessons Learned. %U http://dblp.uni-trier.de/db/conf/fm/fme1993.html#OwreRSH93 %V 670 %@ 3-540-56662-7

@inproceedings{conf/fm/OwreRSH93, added-at = {2017-05-20T00:00:00.000+0200}, author = {Owre, Sam and Rushby, John M. and Shankar, Natarajan and von Henke, Friedrich W.}, biburl = {https://www.bibsonomy.org/bibtex/225ef86c69cfaca08791660b12bc37835/dblp}, booktitle = {FME}, crossref = {conf/fm/1993}, editor = {Woodcock, Jim and Larsen, Peter Gorm}, ee = {https://doi.org/10.1007/BFb0024663}, interhash = {81bd27d35af526dcf6a81f29ab9f0c5c}, intrahash = {25ef86c69cfaca08791660b12bc37835}, isbn = {3-540-56662-7}, keywords = {dblp}, pages = {482-500}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T13:22:15.000+0200}, title = {Formal Verification for Fault-Tolerant Architectures: Some Lessons Learned.}, url = {http://dblp.uni-trier.de/db/conf/fm/fme1993.html#OwreRSH93}, volume = 670, year = 1993 }