{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,29]],"date-time":"2026-03-29T15:17:05Z","timestamp":1774797425420,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540573180","type":"print"},{"value":"9783540480600","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57318-6_30","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:47:07Z","timestamp":1330260427000},"page":"209-229","source":"Crossref","is-referenced-by-count":581,"title":["Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems"],"prefix":"10.1007","author":[{"given":"Rajeev","family":"Alur","sequence":"first","affiliation":[]},{"given":"Costas","family":"Courcoubetis","sequence":"additional","affiliation":[]},{"given":"Thomas A.","family":"Henzinger","sequence":"additional","affiliation":[]},{"given":"Pei -Hsin","family":"Ho","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"R. Alur, C. Courcoubetis, N. Halbwachs, D.L. Dill, and H. Wong-Toi. Minimization of timed transition systems. In CONCUR 92: Theories of Concurrency, Lecture Notes in Computer Science 630, pages 340\u2013354. Springer-Verlag, 1992.","DOI":"10.1007\/BFb0084802"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"R. Alur and D.L. Dill. Automata for modeling real-time systems. In M.S. Paterson, editor, ICALP 90: Automata, Languages, and Programming, Lecture Notes in Computer Science 443, pages 322\u2013335. Springer-Verlag, 1990.","DOI":"10.1007\/BFb0032042"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"A. Bouajjani, J.C. Fernandez, and N. Halbwachs. Minimal model generation. In R.P. Kurshan and E.M. Clarke, editors, CAV 90: Automatic Verification Methods for Finite-state Systems, Lecture Notes in Computer Science 531, pages 197\u2013203. Springer-Verlag, 1990.","DOI":"10.1007\/BFb0023733"},{"key":"10_CR4","unstructured":"K. Cer\u0101ns. Decidability of bisimulation equivalence for parallel timer processes. In CAV 92: Automatic Verification Methods for Finite-state Systems, Lecture Notes in Computer Science. Springer-Verlag. To appear."},{"issue":"5","key":"10_CR5","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1016\/0020-0190(91)90122-X","volume":"40","author":"Z. Chaochen","year":"1991","unstructured":"Z. Chaochen, C.A.R. Hoare, and A.P. Ravn. A calculus of durations. Information Processing Letters, 40(5):269\u2013276, 1991.","journal-title":"Information Processing Letters"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"T.A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. Symbolic model checking for real-time systems. In Proceedings of the Seventh Annual Symposium on Logic in Computer Science, pages 394\u2013406. IEEE Computer Society Press, 1992.","DOI":"10.1109\/LICS.1992.185551"},{"issue":"2","key":"10_CR7","doi-asserted-by":"crossref","first-page":"222","DOI":"10.1016\/0022-0000(83)90014-4","volume":"26","author":"D. Harel","year":"1983","unstructured":"D. Harel, A. Pnueli, and J. Stavi. Propositional dynamic logic of regular programs. Journal of Computer and System Sciences, 26(2):222\u2013243, 1983.","journal-title":"Journal of Computer and System Sciences"},{"issue":"1","key":"10_CR8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/7351.7352","volume":"5","author":"L. Lamport","year":"1987","unstructured":"L. Lamport. A fast mutual exclusion algorithm. ACM Transactions on Computer Systems, 5(1):1\u201311, 1987.","journal-title":"ACM Transactions on Computer Systems"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"D. Lee and M. Yannakakis. Online minimization of transition systems. In Proceedings of the 24th Annual Symposium on Theory of Computing. ACM Press, 1992.","DOI":"10.1145\/129712.129738"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"O. Maler, Z. Manna, and A. Pnueli. From timed to hybrid systems. In J.W. de Bakker, K. Huizing, W.-P. de Roever, and G. Rozenberg, editors, Real Time: Theory in Practice, Lecture Notes in Computer Science 600, pages 447\u2013484. Springer-Verlag, 1992.","DOI":"10.1007\/BFb0032003"},{"key":"10_CR11","unstructured":"X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. An approach to the description and analysis of hybrid systems. This volume."},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"X. Nicollin, J. Sifakis, and S. Yovine. From ATP to timed graphs and hybrid systems. In J.W. de Bakker, K. Huizing, W.-P. de Roever, and G. Rozenberg, editors, Real Time: Theory in Practice, Lecture Notes in Computer Science 600, pages 549\u2013572. Springer-Verlag, 1992.","DOI":"10.1007\/BFb0032007"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"F. Wang, A.K. Mok, and E.A. Emerson. Real-time distributed system specification and verification in asynchronous propositional temporal logic. In Proceedings of the 12th International Conference on Software Engineering, 1992.","DOI":"10.1145\/143062.143113"}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57318-6_30.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:11:23Z","timestamp":1605647483000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57318-6_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540573180","9783540480600"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-57318-6_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993]]}}}