{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,10]],"date-time":"2025-05-10T20:03:52Z","timestamp":1746907432226},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540614746"},{"type":"electronic","value":"9783540685999"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61474-5_72","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:41:11Z","timestamp":1330274471000},"page":"232-243","source":"Crossref","is-referenced-by-count":17,"title":["Analysis of timed systems based on time-abstracting bisimulations"],"prefix":"10.1007","author":[{"given":"S.","family":"Tripakis","sequence":"first","affiliation":[]},{"given":"S.","family":"Yovine","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"R. 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. IEEE RTSS'92, 1992.","DOI":"10.1109\/REAL.1992.242667"},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"R. Alur, C. Courcoubetis, D. Dill, N. Halbwachs, and H. Wong-Toi. Minimization of timed transition systems. In Proc. CONCUR 1992. LNCS 630, 1992.","DOI":"10.1007\/BFb0084802"},{"key":"20_CR3","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 tinted automata. Theoretical Computer Science, 126:183\u2013235, 1994.","journal-title":"Theoretical Computer Science"},{"key":"20_CR4","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":"20_CR5","doi-asserted-by":"crossref","unstructured":"D. Bosscher, I. Polak and F. Vaandrager. Verification of an audio control protocol. In Proc. FTRTFT'94, LNCS 863, 1994.","DOI":"10.1007\/3-540-58468-4_165"},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"C. Daws, A. Olivero, S. Tripakis and S. Yovine. The tool KRONOS. Workshop on Hybrid Systems and Autonomous Control, DIMACS, 1995. To appear in LNCS.","DOI":"10.1007\/BFb0020947"},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"C. Daws, A. Olivero and S. Yovine. Verifying ET-LOTOS programs with KRONOS. In Proc. FORTE'94, 1994.","DOI":"10.1007\/978-0-387-34878-0_17"},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"C. Daws and S. Yovine. Two examples of verification of multirate timed automata with KRONOS. In Proc. IEEE RTSS'95, 1995.","DOI":"10.1109\/REAL.1995.495197"},{"key":"20_CR9","doi-asserted-by":"crossref","unstructured":"J.C1. Fernandez, H. Garavel, L. Mounier, A. Rasse, C. Rodriguez, and J. Sifakis. A tool box for the verification of LOTOS programs. In 14th Int. Conf. on Software Engineering, 1992.","DOI":"10.1145\/143062.143124"},{"key":"20_CR10","unstructured":"J.C. Fernandez and L. Mounier. On the fly verification of behavioural equivalences and preorders. In Proc. CAV'91, LNCS 757, 1991."},{"key":"20_CR11","doi-asserted-by":"crossref","unstructured":"D. Lee and M. Yannakakis. On-line minimization of transition systems. In Proc. ACM Symposium on Theory of Computing, 1992.","DOI":"10.1145\/129712.129738"},{"key":"20_CR12","doi-asserted-by":"crossref","unstructured":"K. G. Larsen and W. Yi. Timed abstracted bisimulation: implicit specification and decidability. In Proc. MFPS'93, 1993.","DOI":"10.1007\/3-540-58027-1_8"},{"key":"20_CR13","doi-asserted-by":"crossref","unstructured":"R. Milner. A Calculus of Communicating Systems, LNCS 92, 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"20_CR14","doi-asserted-by":"crossref","unstructured":"A. Olivero, J. Sifakis, and S. Yovine. Using abstractions for the verification of linear hybrid systems. In CAV'94, LNCS 818, 1994.","DOI":"10.1007\/3-540-58179-0_45"},{"key":"20_CR15","doi-asserted-by":"crossref","unstructured":"M. Yannakakis and D. Lee. An efficient algorithm for minimizing real-time transition systems. In CAV'98, LNCS 697, 1993.","DOI":"10.1007\/3-540-56922-7_18"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61474-5_72.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:06:39Z","timestamp":1605629199000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61474-5_72"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540614746","9783540685999"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-61474-5_72","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}