{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:09:30Z","timestamp":1725664170818},"publisher-location":"Berlin, Heidelberg","reference-count":21,"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_51","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:36:22Z","timestamp":1330277782000},"page":"196-210","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":12,"title":["From duration calculus to linear hybrid automata"],"prefix":"10.1007","author":[{"given":"Ahmed","family":"Bouajjani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yassine","family":"Lakhnech","sequence":"additional","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":"17_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":"17_CR2","doi-asserted-by":"crossref","unstructured":"R. Alur, C. Courcoubetis, N. Halbwachs, T. Henzinger, P. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The Algorithmic Analysis of Hybrid Systems. TCS, 138, 1995.","DOI":"10.1016\/0304-3975(94)00202-T"},{"key":"17_CR3","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":"17_CR4","doi-asserted-by":"crossref","unstructured":"R. Alur, C. Courcoubetis, and T. A. Henzinger. Computing Accumulated Delays in Real-time Systems. In CAV'93. LNCS 697, 1993.","DOI":"10.1007\/3-540-56922-7_16"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"R. Alur and D. Dill. A Theory of Timed Automata. TCS, 126, 1994.","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"A. Bouajjani, R. Echahed, and R. Robbana. Verifying Invariance Properties of Timed Systems with Duration Variables. In FTRTFT'94. LNCS 863, 1994.","DOI":"10.1007\/3-540-58468-4_166"},{"key":"17_CR7","unstructured":"A. Bouajjani, R. Echahed, and J. Sifakis. On Model Checking for Real-Time Properties with Durations. In LICS'93. IEEE, 1993."},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"A. Bouajjani and R. Robbana. Verifying \u03c9-Regular Properties for Subclasses of Linear Hybrid Systems. In CAV'95. This Volume, 1995.","DOI":"10.1007\/3-540-60045-0_68"},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"K. Cerans. Decidability of Bisimulation Equivalence for Parallel Timer Processes. In CAV'92. LNCS 663, 1992.","DOI":"10.1007\/3-540-56496-9_24"},{"key":"17_CR10","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. IPL, 40:269\u2013276, 1991.","journal-title":"IPL"},{"key":"17_CR11","unstructured":"Z. Chaochen and X. Li. A Mean-Value Duration Calculus. In A Classical Mind, Essays in Honour of C.A.R. Hoare. Prentice-Hall, 1994."},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"Z. Chaouchen, M.R. Hansen, and P. Sestoft. Decidability and Undecidability Results for Duration Calculus. In STACS'93. LNCS 665, 1993.","DOI":"10.1007\/3-540-56503-5_8"},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"J. He, C.A.R. Hoare, M. Fr\u00e4nzle, M. M\u00fcller-Olm, E.R. Olderog, M. Schenke, M.R. Hansen, A.P. Ravn, and H. Rishel. Provably Correct Systems. In FTRTFT'94. LNCS 863, 1994.","DOI":"10.1007\/3-540-58468-4_171"},{"key":"17_CR14","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":"17_CR15","unstructured":"T.A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. Symbolic Model-Checking for Real-Time Systems. In LICS'92. IEEE, 1992."},{"key":"17_CR16","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":"17_CR17","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":"17_CR18","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":"17_CR19","unstructured":"A. Ravn. Design of Embedded Real-time Computing Systems. Unpublished Notes, 1994."},{"key":"17_CR20","doi-asserted-by":"crossref","unstructured":"A.P. Ravn, H. Rischel, and K.M. Hansen. Specifying and Verifying Requirements of Real-Time Systems. In Trans. on Soft. Eng. IEEE, 1993.","DOI":"10.1109\/32.210306"},{"key":"17_CR21","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"}],"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_51","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,8]],"date-time":"2020-01-08T23:32:33Z","timestamp":1578526353000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60045-0_51"}},"subtitle":["Extended abstract"],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540600459","9783540494133"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-60045-0_51","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"}}]}}