{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:06:55Z","timestamp":1725664015430},"publisher-location":"Berlin, Heidelberg","reference-count":16,"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_173","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:15:00Z","timestamp":1330254900000},"page":"351-372","source":"Crossref","is-referenced-by-count":3,"title":["Verification methods for the divergent runs of clock systems"],"prefix":"10.1007","author":[{"given":"Thomas A.","family":"Henzinger","sequence":"first","affiliation":[]},{"given":"Peter W.","family":"Kopke","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"R. Alur, H. Attiya, and G. Taubenfeld. Time-adaptive algorithms for synchronization. In Proceedings of the 26th Annual Symposium on Theory of Computing. ACM Press, 1994.","DOI":"10.1145\/195058.195464"},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"R. Alur, C. Courcoubetis, and T.A. Henzinger. The observational power of clocks. In CONCUR 94: Theories of Concurrency, Lecture Notes in Computer Science. Springer-Verlag, 1994.","DOI":"10.1007\/978-3-540-48654-1_16"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"R. Alur and D.L. Dill. Automata for modeling real-time systems. In M.S. Paterson, editor, ICALP 90: Automata, Languages, and Programming, Lecture Notes in Computer Science 443, pages 322\u2013335. Springer-Verlag, 1990.","DOI":"10.1007\/BFb0032042"},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"R. Alur and T.A. Henzinger. Logics and models of real time: a survey. In J.W. de Bakker, K. Huizing, W.-P. de Roever, and G. Rozenberg, editors, Real Time: Theory in Practice, Lecture Notes in Computer Science 600, pages 74\u2013106. Springer-Verlag, 1992.","DOI":"10.1007\/BFb0031988"},{"key":"17_CR5","unstructured":"R. Alur and T.A. Henzinger. Real-time system = discrete system + clock variables. In T. Rus, editor, Proceedings of the First AMAST Workshop on Real-time Systems, 1993."},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"R. Alur and T.A. Henzinger. Finitary fairness. In Proceedings of the Ninth Annual Symposium on Logic in Computer Science. IEEE Computer Society Press, 1994.","DOI":"10.1109\/LICS.1994.316087"},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"M. Abadi and L. Lamport. An old-fashioned recipe for real time. In J.W. de Bakker, K. Huizing, W.-P. de Roever, and G. Rozenberg, editors, Real Time: Theory in Practice, Lecture Notes in Computer Science 600, pages 1\u201327. Springer-Verlag, 1992.","DOI":"10.1007\/BFb0031985"},{"key":"17_CR8","volume-title":"Technical Report 587","author":"R. Gawlick","year":"1993","unstructured":"R. Gawlick, R. Segala, J. S\u00d8gaard-Andersen, and N. Lynch. Liveness in timed and untimed systems. Technical Report 587, Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, Massachusetts, 1993."},{"key":"17_CR9","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1016\/0020-0190(92)90005-G","volume":"43","author":"T.A. Henzinger","year":"1992","unstructured":"T.A. Henzinger. Sooner is safer than later. Information Processing Letters, 43:135\u2013141, 1992.","journal-title":"Information Processing Letters"},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"T.A. Henzinger, Z. Manna, and A. Pnueli. Temporal proof methodologies for real-time systems. In Proceedings of the 18th Annual Symposium on Principles of Programming Languages, pages 353\u2013366. ACM Press, 1991.","DOI":"10.1145\/99583.99629"},{"key":"17_CR11","doi-asserted-by":"crossref","unstructured":"T.A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. Symbolic model checking for real-time systems. In Proceedings of the Seventh Annual Symposium on Logic in Computer Science, pages 394\u2013406. IEEE Computer Society Press, 1992.","DOI":"10.1109\/LICS.1992.185551"},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"N. Lynch and F. Vaandrager. Forward and backward simulations for timing-based systems. In J.W. de Bakker, K. Huizing, W.-P. de Roever, and G. Rozenberg, editors, Real Time: Theory in Practice, Lecture Notes in Computer Science 600, pages 397\u2013446. Springer-Verlag, 1992.","DOI":"10.1007\/BFb0032002"},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli. Completing the temporal picture. In G. Ausiello, M. Dezani-Ciancaglini, and S. Ronchi Della Rocca, editors, ICALP 89: Automata, Languages, and Programming, Lecture Notes in Computer Science 372, pages 534\u2013558. Springer-Verlag, 1989.","DOI":"10.21236\/ADA328579"},{"key":"17_CR14","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag, 1992.","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"17_CR15","doi-asserted-by":"crossref","first-page":"609","DOI":"10.1007\/BF01191722","volume":"30","author":"Z. Manna","year":"1993","unstructured":"Z. Manna and A. Pnueli. Models for reactivity. Acta Informatica, 30:609\u2013678, 1993.","journal-title":"Acta Informatica"},{"key":"17_CR16","unstructured":"F.B. Schneider. On Concurrent Programming. To Appear, 1994."}],"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_173.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:16:33Z","timestamp":1619558193000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58468-4_173"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584681","9783540489849"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-58468-4_173","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}