%0 Conference Paper %1 fme93 %A Owre, Sam %A Rushby, John %A Shankar, Natarajan %A von Henke, Friedrich %B Lecture Notes in Computer Science %C Odense, Denmark %D 1993 %E Woodcock, J. C. P. %E Larsen, P. G. %I Springer-Verlag %J FME '93: Industrial-Strength Formal Methods %K fault_tolerance flawed_proofs pvs verification %P 482--500 %T Formal Verification for Fault-Tolerant Architectures: Some Lessons Learned %U http://www.csl.sri.com/papers/fme93/ %V 670

@inproceedings{fme93, added-at = {2011-01-20T11:33:59.000+0100}, address = {Odense, Denmark}, author = {Owre, Sam and Rushby, John and Shankar, Natarajan and von Henke, Friedrich}, biburl = {https://www.bibsonomy.org/bibtex/2aa81bf5c88619aa4bd51ece8607d065d/giuliano.losa}, editor = {Woodcock, {J.} {C.} {P.} and Larsen, {P.} {G.}}, interhash = {81bd27d35af526dcf6a81f29ab9f0c5c}, intrahash = {aa81bf5c88619aa4bd51ece8607d065d}, journal = {{FME} '93: Industrial-Strength Formal Methods}, keywords = {fault_tolerance flawed_proofs pvs verification}, month = {April}, pages = {482--500}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, timestamp = {2011-01-20T11:42:52.000+0100}, title = {Formal Verification for Fault-Tolerant Architectures: Some Lessons Learned}, url = {http://www.csl.sri.com/papers/fme93/}, volume = 670, year = 1993 }