{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:56:39Z","timestamp":1762458999057},"publisher-location":"Berlin, Heidelberg","reference-count":15,"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_45","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:26:15Z","timestamp":1330269975000},"page":"81-94","source":"Crossref","is-referenced-by-count":26,"title":["Using abstractions for the verification of linear hybrid systems"],"prefix":"10.1007","author":[{"given":"A.","family":"Olivero","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Sifakis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Yovine","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"R. Alur, C. Courcoubetis, and D. Dill. Model-checking for real-time systems. In Proc. 5th LICS, pages 414\u2013425. IEEE Comp. Soc. Press, 1990.","DOI":"10.1109\/LICS.1990.113766"},{"key":"7_CR2","volume-title":"LNCS 736","author":"R. Alur","year":"1993","unstructured":"R. Alur, C. Courcoubetis, T. A. Henzinger, and Pei-Hsin Ho. Hybrid automata: an algorithmic approach to the specification and analysis of hybrid systems. In Workshop on Theory of Hybrid Systems, Lyngby, Denmark, June 1993. LNCS 736, Springer-Verlag."},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"R. Alur and D. Dill. Automata for modeling real-time systems. In Proc. 17th ICALP, pages 322\u2013335. LNCS 443, Springer-Verlag, 1990.","DOI":"10.1007\/BFb0032042"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"R. Alur, T. Henzinger, and P.-H. Ho. Automatic symbolic verification of embedded systems. In 14 th Annual Real-Time Systems Symposium, pages 2\u201311. IEEE Comp. Soc. Press, 1993.","DOI":"10.1109\/REAL.1993.393520"},{"key":"7_CR5","unstructured":"R. Alur. Techniques for automatic verification of real-time systems. PhD thesis, Department of Computer Science, Stanford University, August 1991."},{"issue":"2","key":"7_CR6","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E.M. Clarke","year":"1986","unstructured":"E.M. Clarke, E.A. Emerson, and A.P. Sistla. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems, 8(2):244\u2013263, 1986.]","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"T. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. Symbolic model-checking for real-time systems. In Proc. 7th LICS. IEEE Comp. Soc. Press, 1992.","DOI":"10.1109\/LICS.1992.185551"},{"issue":"3","key":"7_CR8","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1109\/32.75414","volume":"17","author":"M. Jaffe","year":"1991","unstructured":"M. Jaffe, N. Leveson, M. Heimdahl, and B. Melhart. Software requirements analysis for real-time process-control systems. IEEE Transactions on Software Engineering, 17(3):241\u2013258, 1991.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"7_CR9","volume-title":"LNCS 736","author":"Y. Kesten","year":"1993","unstructured":"Y. Kesten, A. Pnueli, J. Sifakis, and S. Yovine. Integration graphs: a class of decidable hybrid systems. In Workshop on Theory of Hybrid Systems, Lyngby, Denmark, June 1993. LNCS 736, Springer-Verlag."},{"key":"7_CR10","volume-title":"LNCS 600","author":"O. Maler","year":"1991","unstructured":"O. Maler, Z. Manna, and A. Pnueli. From timed to hybrid systems. In Proc. REX Workshop \u201cReal-Time: Theory in Practice\u201d, the Netherlands, June 1991. LNCS 600, Springer-Verlag."},{"key":"7_CR11","volume-title":"LNCS 736","author":"X. Nicollin","year":"1993","unstructured":"X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. An approach to the description and analysis of hybrid systems. In Workshop on Theory of Hybrid Systems, Lyngby, Denmark, June 1993. LNCS 736, Springer-Verlag."},{"key":"7_CR12","volume-title":"LNCS 600","author":"X. Nicollin","year":"1991","unstructured":"X. Nicollin, J. Sifakis, and S. Yovine. From ATP to timed graphs and hybrid systems. In Proc. REX Workshop \u201cReal-Time: Theory in Practice\u201d, the Netherlands, June 1991. LNCS 600, Springer-Verlag."},{"issue":"9","key":"7_CR13","first-page":"794","volume":"18","author":"X. Nicollin","year":"1992","unstructured":"X. Nicollin, J. Sifakis, and S. Yovine. Compiling real-time specifications into extended automata. IEEE TSE Special Issue on Real-Time Systems, 18(9):794\u2013804, September 1992.","journal-title":"IEEE TSE Special Issue on Real-Time Systems"},{"key":"7_CR14","volume-title":"Kronos: a Tool for Verifying Real-time Systems. User's Guide and Reference Manual","author":"A. Olivero","year":"1992","unstructured":"A. Olivero and S. Yovine. Kronos: a Tool for Verifying Real-time Systems. User's Guide and Reference Manual. VERIMAG, Grenoble, France, 1992."},{"key":"7_CR15","unstructured":"A. Puri and P. Varaiya. Decidability of hybrid systems with rectangular differential inclusions. This volume."}],"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_45.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:12:00Z","timestamp":1619572320000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58179-0_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540581796","9783540484691"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-58179-0_45","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}