{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,1]],"date-time":"2026-02-01T18:39:19Z","timestamp":1769971159974,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540604723","type":"print"},{"value":"9783540475194","type":"electronic"}],"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-60472-3_4","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T20:40:51Z","timestamp":1330288851000},"page":"64-85","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":32,"title":["On the automatic verification of systems with continuous variables and unbounded discrete data structures"],"prefix":"10.1007","author":[{"given":"Ahmed","family":"Bouajjani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rachid","family":"Echahed","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":"4_CR1","unstructured":"R. Alur, C. Courcoubetis, and D. Dill. Model-Checking for Real-Time Systems. In 5th Symp. on Logic in Computer Science (LICS'90). IEEE, 1990."},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"R. Alur, C. Courcoubetis, and T. A. Henzinger. Computing Accumulated Delays in Real-time Systems. In Proc. Intern. Conf. on Computer Aided Verification (CAV'93). LNCS 697, 1993.","DOI":"10.1007\/3-540-56922-7_16"},{"key":"4_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":"4_CR4","doi-asserted-by":"crossref","unstructured":"A. Bouajjani, R. Echahed, and R. Robbana. Verification of Context-Free Timed Systems using Linear Hybrid Observers. In Proc. Intern. Conf. on Computer Aided Verification (CAV'94). LNCS 818, 1994.","DOI":"10.1007\/3-540-58179-0_48"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"A. Bouajjani, R. Echahed, and R. Robbana. Verifying Invariance Properties of Timed Systems with Duration Variables. In Intern. Symp. on Formal Techniques in Real Time and Fault Tolerant Systems (FTRTFT'94). LNCS 863, 1994.","DOI":"10.1007\/3-540-58468-4_166"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"K. Cerans. Decidability of Bisimulation Equivalence for Parallel Timer Processes. In Proc. Intern. Conf. on Computer Aided Verification (CAV'92). LNCS 663, 1992.","DOI":"10.1007\/3-540-56496-9_24"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"T. Henzinger, P. Kopke, A. Puri, and P. Varaiya. What's Decidable about-Hybrid Automata. In STOC'95, 1995.","DOI":"10.1145\/225058.225162"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"T. Henzinger, Z. Manna, and A. Pnueli. What Good are Digital Clocks? In 19th. Intern. Coll. on Automata, Languages and Programming (ICALP'92). LNCS 623, 1992.","DOI":"10.1007\/3-540-55719-9_103"},{"key":"4_CR9","unstructured":"J. E. Hopcroft and J. D. Ullman. Introduction to Automata Theory, Languages and Computation. Addison-Wesley Pub. Comp., 1979."},{"key":"4_CR10","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":"4_CR11","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":"4_CR12","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli. Verifying Hybrid Systems. In Hybrid Systems. Springer-Verlag, 1993. LNCS 736.","DOI":"10.1007\/3-540-57318-6_22"},{"key":"4_CR13","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":"4_CR14","doi-asserted-by":"crossref","unstructured":"X. Nicollin, J. Sifakis, and S. Yovine. From ATP to Timed Graphs and Hybrid Systems. In REX workshop on Real-Time: Theory and Practice. LNCS 600, 1992.","DOI":"10.1007\/BFb0032007"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"A. Puri and P. Varaiya. Decidability of Hybrid Systems with Rectangular Differential Inclusions. In Proc. Intern. Conf. on Computer Aided Verification (CAV'94). LNCS 818, 1994.","DOI":"10.1007\/3-540-58179-0_46"}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems II"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60472-3_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T12:14:49Z","timestamp":1558268089000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60472-3_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540604723","9783540475194"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-60472-3_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995]]},"assertion":[{"value":"31 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}