@article{owre_formal_1995,
	title = {Formal verification for fault-tolerant architectures: {Prolegomena} to the design of {PVS}},
	volume = {21},
	shorttitle = {Formal verification for fault-tolerant architectures},
	doi = {10/dtpzx4},
	number = {2},
	journal = {IEEE Transactions on Software Engineering},
	author = {Owre, Sam and Rushby, John and Shankar, Natarajan and Von Henke, Friedrich},
	year = {1995},
	note = {tex.ids= owreFormalVerificationFaulttolerant1995a, owreFormalVerificationFaulttolerant1995b
publisher: IEEE},
	pages = {107--125},
}

{"_id":"mgGxJvy4e2TgYXJp6","bibbaseid":"owre-rushby-shankar-vonhenke-formalverificationforfaulttolerantarchitecturesprolegomenatothedesignofpvs-1995","downloads":0,"creationDate":"2016-02-23T05:01:39.197Z","title":"Formal verification for fault-tolerant architectures: Prolegomena to the design of PVS","author_short":["Owre, S.","Rushby, J.","Shankar, N.","Von Henke, F."],"year":1995,"bibtype":"article","biburl":"https://bibbase.org/zotero/SilverSylvester","bibdata":{"bibtype":"article","type":"article","title":"Formal verification for fault-tolerant architectures: Prolegomena to the design of PVS","volume":"21","shorttitle":"Formal verification for fault-tolerant architectures","doi":"10/dtpzx4","number":"2","journal":"IEEE Transactions on Software Engineering","author":[{"propositions":[],"lastnames":["Owre"],"firstnames":["Sam"],"suffixes":[]},{"propositions":[],"lastnames":["Rushby"],"firstnames":["John"],"suffixes":[]},{"propositions":[],"lastnames":["Shankar"],"firstnames":["Natarajan"],"suffixes":[]},{"propositions":[],"lastnames":["Von","Henke"],"firstnames":["Friedrich"],"suffixes":[]}],"year":"1995","note":"tex.ids= owreFormalVerificationFaulttolerant1995a, owreFormalVerificationFaulttolerant1995b publisher: IEEE","pages":"107–125","bibtex":"@article{owre_formal_1995,\n\ttitle = {Formal verification for fault-tolerant architectures: {Prolegomena} to the design of {PVS}},\n\tvolume = {21},\n\tshorttitle = {Formal verification for fault-tolerant architectures},\n\tdoi = {10/dtpzx4},\n\tnumber = {2},\n\tjournal = {IEEE Transactions on Software Engineering},\n\tauthor = {Owre, Sam and Rushby, John and Shankar, Natarajan and Von Henke, Friedrich},\n\tyear = {1995},\n\tnote = {tex.ids= owreFormalVerificationFaulttolerant1995a, owreFormalVerificationFaulttolerant1995b\npublisher: IEEE},\n\tpages = {107--125},\n}\n\n","author_short":["Owre, S.","Rushby, J.","Shankar, N.","Von Henke, F."],"key":"owre_formal_1995","id":"owre_formal_1995","bibbaseid":"owre-rushby-shankar-vonhenke-formalverificationforfaulttolerantarchitecturesprolegomenatothedesignofpvs-1995","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"search_terms":["formal","verification","fault","tolerant","architectures","prolegomena","design","pvs","owre","rushby","shankar","von henke"],"keywords":[],"authorIDs":[],"dataSources":["oHoup8Tse8r9DcDBh","YCBcQPneB9oxahSnp"]}