{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,10]],"date-time":"2026-03-10T13:11:41Z","timestamp":1773148301035,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540611554","type":"print"},{"value":"9783540683346","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/bfb0020947","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T08:16:01Z","timestamp":1132733761000},"page":"208-219","source":"Crossref","is-referenced-by-count":206,"title":["The tool Kronos"],"prefix":"10.1007","author":[{"given":"C.","family":"Daws","sequence":"first","affiliation":[]},{"given":"A.","family":"Olivero","sequence":"additional","affiliation":[]},{"given":"S.","family":"Tripakis","sequence":"additional","affiliation":[]},{"given":"S.","family":"Yovine","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,10]]},"reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"M. Abadi and L. Lamport. An old-fashioned recipe for real-time. In Proc. REX Workshop \u201cReal-Time: Theory in Practice\u201d. LNCS 600, Springer-Verlag.","DOI":"10.1007\/BFb0031985"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"A. Alur, C. Courcoubetis, D. Dill, N. Halbwachs, and H. Wong-Toi. An implementation of three algorithms for timing verification based on automata emptiness. In Proc. 13th IEEE RTSS. IEEE Computer Society Press. 1992.","DOI":"10.1109\/REAL.1992.242667"},{"issue":"1","key":"16_CR3","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1006\/inco.1993.1024","volume":"104","author":"R. Alur","year":"1993","unstructured":"R. Alur, C. Courcoubetis. and D.L. Dill. Model checking in dense real time. Information and Computation. 104(1):2\u201334. 1993.","journal-title":"Information and Computation"},{"key":"16_CR4","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"R. Alur and D.L. Dill. A theory of timed automata. Theoretical Computer Science, 126:183\u2013235, 1994.","journal-title":"Theoretical Computer Science"},{"key":"16_CR5","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1016\/0167-6423(92)90018-7","volume":"18","author":"A. Bouajjani","year":"1992","unstructured":"A. Bouajjani, J.C. Fernandez, N. Halbwachs, P. Raymond, and C. Ratel. Minimal state graph generation. Science of Computer Programming, 18:247\u2013269, 1992.","journal-title":"Science of Computer Programming"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"C. Daws, A. Olivero, and S. Yovine. Verifying ET-LOTOS programs with KRONOS. In Proc. FORTE'94, pages 227\u2013242. Bern, Switzerland, October 1994.","DOI":"10.1007\/978-0-387-34878-0_17"},{"key":"16_CR7","unstructured":"C. Daws and S. Yovine. Symbolic forward analysis of timed automata. Tech. Report Spectre 95-16. Verimag, Grenoble. November 1995."},{"key":"16_CR8","volume-title":"Proc. 1995 IEEE RTSS'95","author":"C. Daws","year":"1995","unstructured":"C. Daws and S. Yovine. Two examples of verification of multirate timed automata with KRONOS. In Proc. 1995 IEEE RTSS'95. Pisa, Italy, December 1995. IEEE Computer Society Press."},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"J.Cl. Fernandez and L. Mounier. A tool set for deciding behavioural equivalences. In CONCUR'91, Concurrency theory. LNCS 527, Springer Verlag, August. 1991.","DOI":"10.1007\/3-540-54430-5_78"},{"key":"16_CR10","unstructured":"H. Garavel, R. Mateescu, R. Ruffiot. and L.-P. Tock. Binary coded graphs \u2014 reference manuals of the beg tools. Tech. Report Spectre 95-13, Verimag, Grenoble. October 1995."},{"issue":"2","key":"16_CR11","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1006\/inco.1994.1045","volume":"111","author":"T.A. Henzinger","year":"1994","unstructured":"T.A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. Symbolic model checking for real-time systems. Information and Computation, 111(2):193\u2013244, 1994.","journal-title":"Information and Computation"},{"key":"16_CR12","unstructured":"R. Jain. FDDI handbook: high-speed networking using fiber and other media. Addison-Wesley. 1994."},{"key":"16_CR13","volume-title":"Proc. 1995 IEEE RTSS'95","author":"K. G. Larsen","year":"1995","unstructured":"K. G. Larsen, P. Petterson. and Y. Wang. Compositional and symbolic modelchecking of real-time systems. In Proc. 1995 IEEE RTSS'95, Pisa, Italy, December 1995. IEEE Computer Society Press."},{"key":"16_CR14","volume-title":"Th\u00e8se","author":"A. Olivero","year":"1994","unstructured":"A. Olivero. Mod\u00e9lisation et analyse de syst\u00e8mes temporis\u00e9s et hybrides. Th\u00e8se. Institut National Polytechnique de Grenoble, Grenoble, France, September 1994."},{"key":"16_CR15","volume-title":"Tech. Report Spectre 95-15","author":"S. Tripakis","year":"1995","unstructured":"S. Tripakis and S. Yovine. Analysis of timed systems based on time-abstracting bisimulations. Tech. Report Spectre 95-15. Verimag, Grenoble, November 1995."}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems III"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0020947","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:40:23Z","timestamp":1586580023000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0020947"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540611554","9783540683346"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/bfb0020947","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996]]}}}