{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T18:47:21Z","timestamp":1648838841359},"reference-count":26,"publisher":"Informa UK Limited","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Experimental & Theoretical Artificial Intelligence"],"published-print":{"date-parts":[[2000,10]]},"DOI":"10.1080\/095281300454847","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T11:47:33Z","timestamp":1027684053000},"page":"473-487","source":"Crossref","is-referenced-by-count":2,"title":["A case study in the mechanical verification of fault tolerance"],"prefix":"10.1080","volume":"12","author":[{"given":"Heiko","family":"Mantel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Felix C.","family":"Gartner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","reference":[{"key":"CIT0001","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162"},{"key":"CIT0002","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(85)90056-0"},{"key":"CIT0003","doi-asserted-by":"publisher","DOI":"10.1109\/32.663998"},{"key":"CIT0004","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(93)90079-Q"},{"key":"CIT0005","volume-title":"Parallel Program Design: A Foundation","author":"Chandy K. M.","year":"1988"},{"key":"CIT0006","doi-asserted-by":"crossref","unstructured":"Cheikhrouhou, L. and Siekmann, J. 1998.Proceedings of 8th International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA '98), Edited by: Giunchiglia, Fausto. 167\u2013180. Springer Verlag. LNAI 1480","DOI":"10.1007\/BFb0057443"},{"key":"CIT0007","volume-title":"Proceedings of the Annual IEEE Workshop on Fault-Tolerant Parallel and Distributed Systems (FTPDS '99)","author":"Echtle K.","year":"1999"},{"key":"CIT0008","volume-title":"Specifications for fault tolerance: A comedy of failures","author":"G\u00e4rtner F. C.","year":"1998"},{"key":"CIT0009","first-page":"668","volume":"5","author":"G\u00e4rtner F. C.","year":"1999","journal-title":"Journal of Universal Computer Science"},{"key":"CIT0010","volume-title":"Axiomatising the Logic of Computer Programming","author":"Goldblatt R.","year":"1982"},{"key":"CIT0011","volume-title":"Amodular approach to fault-tolerant broadcasts and related problems","author":"Hadzilacos V.","year":"1994"},{"key":"CIT0012","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0012828"},{"key":"CIT0013","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1007\/3-540-52885-7_85","volume-title":"Proceedings of the 10th Conference on Automated Deduction","author":"Hutter D.","year":"1990"},{"key":"CIT0014","doi-asserted-by":"publisher","DOI":"10.1023\/A:1005772217686"},{"key":"CIT0015","first-page":"523","volume":"1","author":"Hutter D.","year":"1996","journal-title":"High Integrity Systems"},{"key":"CIT0016","series-title":"number 1641 in Lecture Notes in Computer science","first-page":"351","volume-title":"Proceedings of the International Workshop on Applied Formal Methods\u2014FM-Trends","author":"Hutter D."},{"key":"CIT0017","doi-asserted-by":"crossref","first-page":"288","DOI":"10.1007\/3-540-61511-3_92","volume-title":"Proceedings of 13th International Conference on Automated Deduction, CADE-13","author":"Hutter D.","year":"1996"},{"key":"CIT0018","volume-title":"Proceedings of the 19th IEEE International Conference on Distributed Computing Systems Workshop of Self-Stabilizing Systems","author":"Kulkarni S. S.","year":"1999"},{"key":"CIT0019","series-title":"volume 5 of Dependable Computing and Fault-Tolerant Systems","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-7091-9170-5","volume-title":"Dependability: Basic concepts and Terminology","author":"Laprie J. C.","year":"1992"},{"key":"CIT0020","series-title":"volume 697 of Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"292","DOI":"10.1007\/3-540-56922-7_24","volume-title":"Computer-Aided Verification, CAV '93","author":"Lincoln P.","year":"1993"},{"key":"CIT0021","doi-asserted-by":"publisher","DOI":"10.1007\/BF01211393"},{"key":"CIT0022","first-page":"199","volume-title":"Proceedings of Artificial Intelligence Planning systems (AIPS '98)","author":"Melis E.","year":"1998"},{"key":"CIT0023","series-title":"number 1102 in Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1007\/3-540-61474-5_91","volume-title":"Proceedings of Computer-Aided Verification, CAV '96","author":"Owre S.","year":"1996"},{"key":"CIT0024","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90166-X"},{"key":"CIT0025","doi-asserted-by":"crossref","first-page":"424","DOI":"10.1007\/978-0-387-35358-6_27","volume-title":"IFIP International Conference on Programming Concepts and Methods (PROCOMET '98)","author":"Qadeer S.","year":"1998"},{"key":"CIT0026","doi-asserted-by":"publisher","DOI":"10.1016\/0951-8320(94)90065-5"}],"container-title":["Journal of Experimental & Theoretical Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/095281300454847","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,11,26]],"date-time":"2017-11-26T15:08:15Z","timestamp":1511708895000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/095281300454847"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,10]]},"references-count":26,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2000,10]]}},"alternative-id":["10.1080\/095281300454847"],"URL":"https:\/\/doi.org\/10.1080\/095281300454847","relation":{},"ISSN":["0952-813X","1362-3079"],"issn-type":[{"value":"0952-813X","type":"print"},{"value":"1362-3079","type":"electronic"}],"subject":[],"published":{"date-parts":[[2000,10]]}}}