{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T12:59:15Z","timestamp":1754485155342},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540650034"},{"type":"electronic","value":"9783540497929"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0055344","type":"book-chapter","created":{"date-parts":[[2006,7,27]],"date-time":"2006-07-27T03:28:45Z","timestamp":1153970925000},"page":"143-157","source":"Crossref","is-referenced-by-count":15,"title":["Partition refinement in real-time model checking"],"prefix":"10.1007","author":[{"given":"Ronald Lutje","family":"Spelberg","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hans","family":"Toetenel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcel","family":"Ammerlaan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,5,27]]},"reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"R. Alur, C. Courcoubetis, D. Dill, N. Halbwachs, and H. Wong-Toi. Minimization of timed transition systems. In Concur\u201992, volume 630 of LNCS, pages 340\u2013354. Springer-Verlag, 1992.","DOI":"10.1007\/BFb0084802"},{"key":"14_CR2","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R. Alur","year":"1995","unstructured":"R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3\u201334, 1995.","journal-title":"Theoretical Computer Science"},{"key":"14_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. Dill. The theory of timed automata. Theoretical Computer Science, 126:183\u2013235, 1994.","journal-title":"Theoretical Computer Science"},{"key":"14_CR4","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1109\/32.489079","volume":"22","author":"R. Alur","year":"1996","unstructured":"R. Alur, T.A. Henzinger, and P.-H. Ho. Automatic symbolic verification of embedded systems. IEEE Transactions on Software Engineering, 22:181\u2013201, 1996.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"2","key":"14_CR5","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E.M. Clarke","year":"1986","unstructured":"E.M. Clarke, E.A. Emerson, and A.P. Sistla. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM TOPLAS, 8(2):244\u2013263, 1986.","journal-title":"ACM TOPLAS"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"D.L. Dill. Timing assumptions and verification of finite-state concurrent systems. In CAV\u201989, volume 407 of LNCS, pages 195\u2013212. Springer-Verlag, 1989.","DOI":"10.1007\/3-540-52148-8_17"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"T.A. Henzinger. The theory of hybrid automata. In LICS\u201996, pages 278\u2013292. IEEE Computer Society Press, 1996.","DOI":"10.1109\/LICS.1996.561342"},{"key":"14_CR8","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:193\u2013244, 1994.","journal-title":"Information and Computation"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"K.J. Kristoffersen, F. Laroussinie, K.G. Larsen, P. Pettersson, and Wang Yi. A compositional proof of a real-time mutual exclusion protocol. In Proceedings of the 7th International Joint Conference on the Theory and Practice of Software Development, 1997.","DOI":"10.1007\/BFb0030626"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"K.G. Larsen, P. Petterson, and Wang Yi. Compositional and symbolic model checking of real-time systems. In 16th IEEE Real-Time Systems Symposium, 1995.","DOI":"10.1109\/REAL.1995.495198"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"K.G. Larsen, P. Petterson, and Wang Yi. Model checking for real-time systems. In Proceedings of Fundamentals of Computation Theory, volume 965 of LNCS, pages 62\u201388. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-60249-6_41"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"K.L. McMillan. Symbolic model checking. Kluwer, 1993.","DOI":"10.1007\/978-1-4615-3190-6"},{"key":"14_CR13","unstructured":"R. Milner. Communication and Concurrency. Prentice Hall, 1989."},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"O.V. Sokolsky and S.A. Smolka. Local model checking for real-time systems. In CAV\u201995, volume 939 of LNCS, pages 211\u2013224. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-60045-0_52"},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"M. Yannakakis and D. Lee. An efficient algorithm for minimizing real-time transition systems. In CAV\u201993, volume 697 of LNCS, pages 210\u2013224. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-56922-7_18"}],"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\/BFb0055344","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,20]],"date-time":"2019-04-20T04:28:31Z","timestamp":1555734511000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0055344"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540650034","9783540497929"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/bfb0055344","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}