{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:09:41Z","timestamp":1725664181502},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540600459"},{"type":"electronic","value":"9783540494133"}],"license":[{"start":{"date-parts":[[1995,1,1]],"date-time":"1995-01-01T00:00:00Z","timestamp":788918400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60045-0_68","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:37:15Z","timestamp":1330277835000},"page":"437-450","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Verifying \u03c9-regular properties for a subclass of linear hybrid systems"],"prefix":"10.1007","author":[{"given":"Ahmed","family":"Bouajjani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Riadh","family":"Robbana","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"34_CR1","doi-asserted-by":"crossref","unstructured":"R. Alur, C. Courcoubetis, and D. Dill. Model-Checking for Real-Time Systems. In LICS'90. IEEE, 1990.","DOI":"10.1007\/3-540-54233-7_128"},{"key":"34_CR2","doi-asserted-by":"crossref","unstructured":"R. Alur, C. Courcoubetis, T. Henzinger, and P-H. Ho. Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems. In Hybrid Systems. LNCS 736, 1993.","DOI":"10.1007\/3-540-57318-6_30"},{"key":"34_CR3","doi-asserted-by":"crossref","unstructured":"E. Asarin, O. Maler, and A. Pnueli. Reachability Analysis of Dynamical Systems Having Piecewise-Constant Derivatives. T.C.S., 138, 1995.","DOI":"10.1016\/0304-3975(94)00228-B"},{"key":"34_CR4","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:269\u2013276, 1991.","journal-title":"Information Processing Letters"},{"key":"34_CR5","doi-asserted-by":"crossref","unstructured":"E. Clarke, A. Emerson, and P. Sistla. Automatic Verification of Finite State Con-current Systems using Temporal Logic Specifications: A Practical Approach. In POPL'83, 1983.","DOI":"10.1145\/567067.567080"},{"key":"34_CR6","first-page":"169","volume":"15","author":"R.S. Cohen","year":"1977","unstructured":"R.S. Cohen and A.Y. Gold. Theory of \u03c9-Languages. I: Characterizations of \u03c9-Context-Free Languages. J.C.S.S., 15:169\u2013184, 1977.","journal-title":"J.C.S.S."},{"key":"34_CR7","unstructured":"E.Clarke, O. Gr\u00fcmberg, and R. Kurshan. A Synthesis of two Approaches for Verifying Finite State Concurrent Systems. In CMU tech. rep., 1987."},{"key":"34_CR8","doi-asserted-by":"crossref","unstructured":"E.A. Emerson and J. Y. Halpern. 'sometimes\u2019 and\u2019 Not Never\u2019 Revisited: On Branching vs. Linear Time Logic. In POPL'83, 1983.","DOI":"10.1145\/567067.567081"},{"key":"34_CR9","doi-asserted-by":"crossref","unstructured":"T. Henzinger. Hybrid Automata with Finite Bisimulations. In ICALP'95, 1995.","DOI":"10.1007\/3-540-60084-1_85"},{"key":"34_CR10","doi-asserted-by":"crossref","unstructured":"T.A. Henzinger, P.W. Kopke, A. Puri, and P. Varaiya. What's Decidable about Hybrid Automata. In STOC'95, 1995.","DOI":"10.1145\/225058.225162"},{"key":"34_CR11","doi-asserted-by":"crossref","unstructured":"Y. Kesten, A. Pnueli, J. Sifakis, and S. Yovine. Integration Graphs: A Class of Decidable Hybrid Systems. In Hybrid Systems. LNCS 736, 1993.","DOI":"10.1007\/3-540-57318-6_29"},{"key":"34_CR12","doi-asserted-by":"crossref","unstructured":"O. Maler, Z. Manna, and A. Pnueli. From Timed to Hybrid Systems. In REX workshop on Real-Time: Theory and Practice. LNCS 600, 1992.","DOI":"10.1007\/BFb0032003"},{"key":"34_CR13","doi-asserted-by":"crossref","unstructured":"D.E. Muller. Infinite Sequences and Finite Machines. In 4th Symp. on Switching Circuit Theory and Logical Design. IEEE, 1963.","DOI":"10.1109\/SWCT.1963.8"},{"key":"34_CR14","doi-asserted-by":"crossref","unstructured":"X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. An Approach to the Description and Analysis of Hybrid Systems. In Hybrid Systems. LNCS 736, 1993.","DOI":"10.1007\/3-540-57318-6_28"},{"key":"34_CR15","doi-asserted-by":"crossref","unstructured":"A. Pnueli. The Temporal Logic of Programs. In FOCS'77. IEEE, 1977.","DOI":"10.1109\/SFCS.1977.32"},{"key":"34_CR16","doi-asserted-by":"crossref","unstructured":"W. Thomas. Computation Tree Logic and Regular \u03c9-Languages. LNCS 354, 1989.","DOI":"10.1007\/BFb0013041"},{"key":"34_CR17","doi-asserted-by":"crossref","unstructured":"W. Thomas. Automata on Infinite Objects. In Handbook of Theo. Comp. Sci. Elsevier Sci. Pub., 1990.","DOI":"10.1016\/B978-0-444-88074-1.50009-3"},{"key":"34_CR18","doi-asserted-by":"crossref","unstructured":"M.Y. Vardi. A Temporal Fixpoint Calculus. In POPL'88, 1988.","DOI":"10.1145\/73560.73582"},{"key":"34_CR19","doi-asserted-by":"crossref","unstructured":"P. Wolper. Temporal Logic Can Be More Expressive. Inform. and Cont., 56, 1983.","DOI":"10.1016\/S0019-9958(83)80051-5"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60045-0_68","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T12:19:39Z","timestamp":1558268379000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60045-0_68"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540600459","9783540494133"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-60045-0_68","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]},"assertion":[{"value":"31 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}