{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T23:13:20Z","timestamp":1649027600706},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2003,3,1]],"date-time":"2003-03-01T00:00:00Z","timestamp":1046476800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. Comput. Sci. & Technol."],"published-print":{"date-parts":[[2003,3]]},"DOI":"10.1007\/bf02948880","type":"journal-article","created":{"date-parts":[[2008,9,13]],"date-time":"2008-09-13T00:31:25Z","timestamp":1221265885000},"page":"153-162","source":"Crossref","is-referenced-by-count":3,"title":["Verification of duration systems using an approximation approach"],"prefix":"10.1007","volume":"18","author":[{"given":"Riadh","family":"Robbana","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02948880_CR1","doi-asserted-by":"crossref","unstructured":"Alur R, Courcoubetis C, Dill D. Model-checking for real-time systems. InProc. 5th Symp. Logic in Computer Science (LICS'90), Philadelphia USA, IEEE, 1990.","DOI":"10.1109\/LICS.1990.113766"},{"key":"BF02948880_CR2","doi-asserted-by":"crossref","unstructured":"Henzinger T A, Nicollin X, Sifakis J, Yovine S. Symbolic model-checking for real-time systems. InProc. 7th Symp. on Logic in Computer Science (LICS'92), Santa Cruz USA, IEEE, 1992.","DOI":"10.1109\/LICS.1992.185551"},{"key":"BF02948880_CR3","doi-asserted-by":"crossref","unstructured":"Bouajjani A, Echahed R, Robbana R. On the automatic verification of systems with continuous variables and unbounded discrete data structures. InProc. Hybrid Systems and Autonomous Control, (HSAC'95), New York USA, LNCS 999, 1995.","DOI":"10.1007\/3-540-60472-3_4"},{"key":"BF02948880_CR4","unstructured":"Robbana R. R\u00e9duction et v\u00e9rification de syst\u00e8mes temps-r\u00e9el distribu\u00e9s. InColloque Francophone de l'Ing\u00e9nierie des Protocoles (CFIP'99), Nancy France, 1999."},{"key":"BF02948880_CR5","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1016\/0020-0190(91)90122-X","volume":"40","author":"Z Chaochen","year":"1991","unstructured":"Chaochen Z, Hoare C A R, Ravn A P. A calculus of durations.Information Processing Letters, 1991, 40: 269\u2013276.","journal-title":"Information Processing Letters"},{"issue":"2","key":"BF02948880_CR6","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1006\/inco.1998.2774","volume":"150","author":"Y Kesten","year":"1999","unstructured":"Kesten Y, Pnueli A, Sifakis J, Yovine S. Decidable integration graphs.Information and Computation, 1999, 150(2): 209\u2013243.","journal-title":"Information and Computation"},{"key":"BF02948880_CR7","doi-asserted-by":"crossref","unstructured":"Franck Cassez, Kim G Larsen. The impressive power of stopwatches. InProc. Conference on Concurrency Theory (CONCUR'00), Pennsylvania, USA, 2000.","DOI":"10.1007\/3-540-44618-4_12"},{"key":"BF02948880_CR8","doi-asserted-by":"crossref","unstructured":"Abdeddaim Y, Maler O. Preemptive job-shop scheduling using stopwatch automata. InProc. Tools and Algorithm for the Construction and Analysis (TACAS'02), Grenoble, France, 2002.","DOI":"10.1007\/3-540-46002-0_9"},{"key":"BF02948880_CR9","doi-asserted-by":"crossref","unstructured":"Alur R, Courcoubetis C, Henzinger T, Ho P H. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. InProc. Hybrid Systems, LNCS 736, Springer-Verlag, 1993.","DOI":"10.1007\/3-540-57318-6_30"},{"key":"BF02948880_CR10","doi-asserted-by":"crossref","unstructured":"Bouajjani A, Echahed R, Sifakis J. On model checking for real-time properties with durations. InProc. 8th Symp. Logic in Computer Science (LICS'93), Canada, IEEE, 1993.","DOI":"10.1109\/LICS.1993.287592"},{"key":"BF02948880_CR11","doi-asserted-by":"crossref","unstructured":"Nicollin X, Olivero A, Sifakis J, Yovine S. An approach to the description and analysis of hybrid systems. InProc. Hybrid Systems, LNCS 736, Springer-Verlag, 1993.","DOI":"10.1007\/3-540-57318-6_28"},{"key":"BF02948880_CR12","doi-asserted-by":"crossref","unstructured":"Bouajjani A, Lakhnech Y, Robbana R. From duration calculus to linear hybrid systems. InProc. Computer-Aided Verification (CAV'95), Liege Belgium, 1995.","DOI":"10.1007\/3-540-60045-0_51"},{"key":"BF02948880_CR13","doi-asserted-by":"crossref","unstructured":"Bouajjani A, Robbana R. Verifying \u03c9-regular properties for subclasses of linear hybrid systems. InProc. Computer-Aided Verification (CAV'95), Liege Belgium, 1995.","DOI":"10.1007\/3-540-60045-0_68"},{"key":"BF02948880_CR14","doi-asserted-by":"crossref","unstructured":"Pnueli A, Shahar E. Liveness and acceleration in parameterized verification. InProc. Computer-Aided Verification (CAV'00), Chicago, USA, 2000.","DOI":"10.1007\/10722167_26"},{"key":"BF02948880_CR15","doi-asserted-by":"crossref","unstructured":"Bouajjani A, Jonsson B, Nilsson M, Touilli T. Regular model checking. InProc. Computer-Aided Verification (CAV'00), Chicago, USA, 2000.","DOI":"10.1007\/10722167_31"},{"key":"BF02948880_CR16","doi-asserted-by":"crossref","unstructured":"Cerans K. Decidability of bisimulation equivalence for parallel timer processes. InProc. Computer-Aided Verification (CAV'92), Montreal, Canada, LNCS 663, Springer-Verlag, 1992.","DOI":"10.1007\/3-540-56496-9_24"},{"key":"BF02948880_CR17","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1006\/jcss.1998.1581","volume":"57","author":"T A Henzinger","year":"1998","unstructured":"Henzinger T A, Kopke P W, Puri A, Varaiya P. What's decidable about hybrid automata?Journal of Computer and System Science, 1998, 57: 94\u2013124.","journal-title":"Journal of Computer and System Science"},{"key":"BF02948880_CR18","unstructured":"Bouajjani A, Echahed R, Robbana R. Decidability results for the verification problem of pushdown linear hybrid systems. InProc. Hybrid Systems and Autonomous Control, HSAC'94, New York, USA, 1994."},{"key":"BF02948880_CR19","doi-asserted-by":"crossref","unstructured":"Bouajjani A, Echahed R, Robbana R. Verification of context-free timed systems using linear hybrid observers. InProc. Computer Aided Verification (CAV'94), Stanford, USA, 1994.","DOI":"10.1007\/3-540-58179-0_48"},{"key":"BF02948880_CR20","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R Alur","year":"1995","unstructured":"Alur R, Courcoubetis C, Halbwachs Net al. The algorithmic analysis of hybrid systems.Theoretical Computer Science, 1995, 138: 3\u201334.","journal-title":"Theoretical Computer Science"},{"key":"BF02948880_CR21","doi-asserted-by":"crossref","unstructured":"Henzinger T, Manna Z, Pnueli A. What good are digital clocks? InProc. Int. Coll on Automata, Languages and Programming, LNCS 623, Springer-Verlag, 1992.","DOI":"10.1007\/3-540-55719-9_103"}],"container-title":["Journal of Computer Science and Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02948880.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02948880\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02948880","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T23:03:10Z","timestamp":1558566190000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02948880"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,3]]},"references-count":21,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2003,3]]}},"alternative-id":["BF02948880"],"URL":"https:\/\/doi.org\/10.1007\/bf02948880","relation":{},"ISSN":["1000-9000","1860-4749"],"issn-type":[{"value":"1000-9000","type":"print"},{"value":"1860-4749","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003,3]]}}}