{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,30]],"date-time":"2025-07-30T15:20:26Z","timestamp":1753888826299},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540581796"},{"type":"electronic","value":"9783540484691"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58179-0_47","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T10:26:09Z","timestamp":1330251969000},"page":"105-117","source":"Crossref","is-referenced-by-count":22,"title":["Suspension automata: A decidable class of hybrid automata"],"prefix":"10.1007","author":[{"given":"Jennifer","family":"McManis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pravin","family":"Varaiya","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"R. Grossman, A. Nerode, A Ravn, and H. Rischel, editors. Hybrid Systems, volume LNCS 736. Springer, 1993.","DOI":"10.1007\/3-540-57318-6"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"R. Alur, C. Courcoubetis, T. Henzinger, and P. Ho. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. In Hybrid Systems, volume LNCS 736, pages 209\u2013229. Springer, 1993.","DOI":"10.1007\/3-540-57318-6_30"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"D. Dill. Timing assumptions and verification of finite-state concurrent systems. In Automatic Verification Methods for Finite State Systems, volume LNCS 407. Springer, 1989.","DOI":"10.1007\/3-540-52148-8_17"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"R. Alur and D. Dill. Automata for modeling real-time systems. In Proceedings of the 17th Annual Colloquium on Automata, Languages, and Programming, 1990.","DOI":"10.1007\/BFb0032042"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"R. Alur, C. Courcoubetis, and D. Dill. Model-checking for real-time systems. In IEEE Proceedings of the Fifth Annual Symposium on Logic and Computer Science, 1990.","DOI":"10.1109\/LICS.1990.113766"},{"key":"9_CR6","unstructured":"A. Olivero and S. Yovine. Kronos: A tool for verifying real-time systems, user's guide and reference manual. draft 0.0. Preprint. VERIMAG, B.P. 53X, 38401 Grenoble, France, May 1993."},{"key":"9_CR7","unstructured":"P. Tzounakis. Verification of real time systems: The extension of COSPAN in dense time. Master's thesis, University of Crete, 1992."}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58179-0_47.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:17:51Z","timestamp":1605629871000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58179-0_47"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540581796","9783540484691"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-58179-0_47","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}