{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:03:35Z","timestamp":1725663815344},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540578260"},{"type":"electronic","value":"9783540483465"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-57826-9_146","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T08:26:52Z","timestamp":1330244812000},"page":"338-351","source":"Crossref","is-referenced-by-count":2,"title":["The semantics of statecharts in HOL"],"prefix":"10.1007","author":[{"given":"Nancy","family":"Day","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeffrey J.","family":"Joyce","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"26_CR1","unstructured":"Nancy Day. A model checker for Statecharts. Master's thesis, University of British Columbia, 1993. In preparation."},{"key":"26_CR2","unstructured":"D. Harel, A. Pnueli, J.P. Schmidt, and R. Sherman. On the formal semantics of Statecharts. In Proceedings of the 2nd IEEE Symposium on Logic in Computer Science, pages 54\u201364, Ithaca, New York, June 1987."},{"issue":"5","key":"26_CR3","doi-asserted-by":"crossref","first-page":"514","DOI":"10.1145\/42411.42414","volume":"31","author":"D. Harel","year":"1988","unstructured":"David Harel. On visual formalisms. Communications of the ACM, 31(5):514\u2013530, May 1988.","journal-title":"Communications of the ACM"},{"issue":"4","key":"26_CR4","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1109\/32.54292","volume":"16","author":"D. Harel","year":"1990","unstructured":"David Harel, H. Lachover, et al. Statemate: A working environment for the development of complex reactive systems. IEEE Transactions on Software Engineering, 16(4):403\u2013414, April 1990.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"26_CR5","unstructured":"i-Logix Inc., Burlington, MA. Statemate 4.0 Analyzer User and Reference Manual, April 1991."},{"key":"26_CR6","doi-asserted-by":"crossref","unstructured":"Jeffrey J. Joyce. Totally verified systems: Linking verified software to verified hardware. Technical Report No. 178, University of Cambridge Computer Laboratory, September 1989.","DOI":"10.1007\/0-387-97226-9_29"},{"key":"26_CR7","series-title":"Information and Computer Science","volume-title":"Technical Report 92-106","author":"N. G. Leveson","year":"1992","unstructured":"Nancy G. Leveson, Mats P.E. Heimdahl, Holly Hildreth, and Jon D. Reese. Requirements specification for process-control systems. Technical Report 92-106, University of California, Irvine, Information and Computer Science, 1992."},{"key":"26_CR8","unstructured":"A. Pnueli and M. Shalev. What's in a step: On the semantics of statecharts."},{"key":"26_CR9","unstructured":"Carl-Johan H. Seger and Jeffrey J. Joyce. A mathematically precise two-level formal hardware verification methodology. Technical Report 92-34, University of British Columbia, Department of Computer Science, December 1992."}],"container-title":["Lecture Notes in Computer Science","Higher Order Logic Theorem Proving and Its Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57826-9_146.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:14:29Z","timestamp":1605629669000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57826-9_146"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540578260","9783540483465"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-57826-9_146","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}