{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:06:57Z","timestamp":1725664017146},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584681"},{"type":"electronic","value":"9783540489849"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58468-4_166","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:15:05Z","timestamp":1330272905000},"page":"193-210","source":"Crossref","is-referenced-by-count":10,"title":["Verifying invariance properties of timed systems with duration variables"],"prefix":"10.1007","author":[{"given":"Ahmed","family":"Bouajjani","sequence":"first","affiliation":[]},{"given":"Rachid","family":"Echahed","sequence":"additional","affiliation":[]},{"given":"Riadh","family":"Robbana","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, and D. Dill. Model-Checking for Real-Time Systems. In 5th Symp. on Logic in Computer Science. IEEE, 1990.","DOI":"10.1109\/LICS.1990.113766"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"R. Alur, C. Courcoubetis, N. Halbwachs, D. Dill, and H. Wong-Toi. Minimization of Timed Transition Systems. In CONCUR'92. LNCS 630, Springer Verlag, 1992.","DOI":"10.1007\/BFb0084802"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"R. Alur, C. Courcoubetis, and T. A. Henzinger. Computing Accumulated Delays in Real-time Systems. In Hybrid Systems. Springer-Verlag, 1993. LNCS 736.","DOI":"10.1007\/3-540-56922-7_16"},{"key":"10_CR4","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. Springer-Verlag, 1993. LNCS 736.","DOI":"10.1007\/3-540-57318-6_30"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"A. Bouajjani, R. Echahed, and R. Robbana. Verification of Context-Free Timed Systems using Linear Hybrid Observers. In Proc. Computer Aided Verification (CAV'94), 1994.","DOI":"10.1007\/3-540-58179-0_48"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"K. Cerans. Decidability of Bisimulation Equivalence for Parallel Timer Processes. In Proc. Computer-Aided Verification (CAV'92). Springer-Verlag, 1992. LNCS 663.","DOI":"10.1007\/3-540-56496-9_24"},{"key":"10_CR7","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":"10_CR8","unstructured":"T.A. Henzinger and P.W. Kopke. Undecidability Results for Hybrid Systems. Draft, June 1994."},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"T. Henzinger, Z. Manna, and A. Pnueli. What Good are Digital Clocks? In 19th. Internat. Coll. on Automata, Languages and Programming. Springer-Verlag, 1992. LNCS 623.","DOI":"10.1007\/3-540-55719-9_103"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"T.A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. Symbolic Model-Checking for Real-Time Systems. In 7th Symp. on Logic in Computer Science. IEEE, 1992.","DOI":"10.1109\/LICS.1992.185551"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Y. Kesten, A. Pnueli, J. Sifakis, and S. Yovine. Integration Graphs: A Class of Decidable Hybrid System s. In Hybrid Systems. Springer-Verlag, 1993. LNCS 736.","DOI":"10.1007\/3-540-57318-6_29"},{"key":"10_CR12","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. Springer-Verlag, 1993. LNCS 736.","DOI":"10.1007\/3-540-57318-6_28"},{"key":"10_CR13","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. Springer-Verlag, 1992. LNCS 600.","DOI":"10.1007\/BFb0032007"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques in Real-Time and Fault-Tolerant Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58468-4_166.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:21:43Z","timestamp":1605648103000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58468-4_166"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584681","9783540489849"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-58468-4_166","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}