{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:20:15Z","timestamp":1725664815380},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540616481"},{"type":"electronic","value":"9783540706533"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61648-9_33","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:10:19Z","timestamp":1330276219000},"page":"40-54","source":"Crossref","is-referenced-by-count":6,"title":["Formal methods for early fault detection"],"prefix":"10.1007","author":[{"given":"Gerard J.","family":"Holzmann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"3_CR1","first-page":"35","volume":"1055","author":"R. Alur","year":"1996","unstructured":"Alur, R., Holzmann, G.J., Peled, D.: An analyzer for message sequence charts. LNCS 1055, Springer, (1996), 35\u201348.","journal-title":"LNCS"},{"issue":"4","key":"3_CR2","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1109\/52.391826","volume":"12","author":"J. Bowen","year":"1995","unstructured":"Bowen, J., Hinchey, M.G.: Seven more myths of formal methods. IEEE Software, 12(4), (July 1995), 34\u201341.","journal-title":"IEEE Software"},{"key":"3_CR3","unstructured":"Holzmann, G.J.: Design and validation of computer protocols. Prentice Hall, Software Series, 1991."},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Holzmann, G.J.: Early fault detection tools. LNCS 1055, Springer, (1996), 1\u201313.","DOI":"10.1007\/3-540-61042-1_34"},{"key":"3_CR5","unstructured":"ITU-T Recommendation Z.120, Message Sequence Chart (MSC), March 1993. (MSC96: http:\/\/www.win.tue.nl\/win\/cs\/fm\/sjouke\/msc.html)"},{"key":"3_CR6","unstructured":"Kernighan, B.W., Ritchie, D.M.: The C Programming Language. Prentice Hall, 2nd Ed. 1988."},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Lee, D., Yannakakis, M.: Principles and Methods for Testing Finite State Machines. The Proceedings of the IEEE, August 1996.","DOI":"10.1109\/5.533956"},{"key":"3_CR8","unstructured":"Koutsofios, E., North, S.C.: Drawing Graphs with Dot. Technical Memorandum, Bell Laboratories, 1991."},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Leue S., Ladkin, P., Implementing and Verifying Scenario-Based Specifications Using Promela\/SPIN. Proceedings of the 2nd Spin Workshop, Rutgers University, August 5, 1996.","DOI":"10.1090\/dimacs\/032\/06"},{"key":"3_CR10","unstructured":"Ousterhout, J.: Tcl and the Tk toolkit. Addison-Wesley, 1994."},{"key":"3_CR11","volume-title":"Real-time object-oriented modeling","author":"B. Selic","year":"1994","unstructured":"Selic, B., Gullekson, G., Ward, P.T.: Real-time object-oriented modeling. Wiley, New York, 1994."}],"container-title":["Lecture Notes in Computer Science","Formal Techniques in Real-Time and Fault-Tolerant Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61648-9_33.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T05:54:21Z","timestamp":1640930061000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61648-9_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540616481","9783540706533"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-61648-9_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}