{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T13:00:16Z","timestamp":1754485216125},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540611554"},{"type":"electronic","value":"9783540683346"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/bfb0020933","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T03:16:01Z","timestamp":1132715761000},"page":"13-40","source":"Crossref","is-referenced-by-count":21,"title":["Verifying clocked transition systems"],"prefix":"10.1007","author":[{"given":"Yonit","family":"Kesten","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zohar","family":"Manna","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amir","family":"Pnueli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,10]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","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. Theor. Comp. Sci., 126:183\u2013235, 1994.","journal-title":"Theor. Comp. Sci."},{"doi-asserted-by":"crossref","unstructured":"R. Alur and T.A. Henzinger. A really temporal logic. In Proc. 30th IEEE Symp. Found. of Comp. Sci., pages 164\u2013169, 1989.","key":"2_CR2","DOI":"10.1109\/SFCS.1989.63473"},{"doi-asserted-by":"crossref","unstructured":"R. Alur and T. Henzinger. Logics and models of real time: A survey. In J.W. de Bakker, C. Huizing, W.P. de Roever, and G. Rozenberg, editors, Proceedings of the REX Workshop \u201cReal-Time: Theory in Practice\u201d, volume 600 of Lect. Notes in Comp. Sci., pages 74\u2013106. Springer-Verlag, 1992.","key":"2_CR3","DOI":"10.1007\/BFb0031988"},{"doi-asserted-by":"crossref","unstructured":"R. Alur and T.A. Henzinger. Real-time system = discrete system + clock variables. In T. Rus and C. Rattray, editors, Theories and Experiences for Real-time System Development, AMAST Series in Computing 2, pages 1\u201329. World Scientific, 1994.","key":"2_CR4","DOI":"10.1142\/9789812831583_0001"},{"issue":"5","key":"2_CR5","doi-asserted-by":"crossref","first-page":"1543","DOI":"10.1145\/186025.186058","volume":"16","author":"M. Abadi","year":"1994","unstructured":"M. Abadi and L. Lamport. An old-fashioned recipe for real time. ACM Trans. Prog. Lang. Sys., 16(5):1543\u20131571, 1994.","journal-title":"ACM Trans. Prog. Lang. Sys."},{"issue":"3","key":"2_CR6","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. Info. Proc. Lett., 43(3):135\u2013142, 1992.","journal-title":"Info. Proc. Lett."},{"doi-asserted-by":"crossref","unstructured":"T.A. Henzinger and P.W. Kopke. Verification methods for the divergent runs of clock systems. In H. Langmaack, W.-P. de Roever, and J. Vytopil, editors, FTRTFT 94: Formal Techniques in Real-time and Fault-tolerant Systems, Lecture Notes in Computer Science 863, pages 351\u2013372. Springer-Verlag, 1994.","key":"2_CR7","DOI":"10.1007\/3-540-58468-4_173"},{"issue":"2","key":"2_CR8","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1006\/inco.1994.1060","volume":"112","author":"T. Henzinger","year":"1994","unstructured":"T. Henzinger, Z. Manna, and A. Pnueli. Temporal proof methodologies for timed transition systems. Inf. and Comp., 112(2):273\u2013337, 1994.","journal-title":"Inf. and Comp."},{"doi-asserted-by":"crossref","unstructured":"R. Koymans and W.-P. de Roever. Examples of a real-time temporal logic specifications. In B.D. Denvir, W.T. Harwood, M.I. Jackson, and M.J. Wray, editors, The Analysts of Concurrent Systems, volume 207 of Lect. Notes in Comp. Sci., pages 231\u2013252. Springer-Verlag, 1985.","key":"2_CR9","DOI":"10.1007\/3-540-16047-7_50"},{"doi-asserted-by":"crossref","unstructured":"Y. Kesten, Z. Manna, and A. Pnueli. Clocked transition systems. Technical report, Dept. of Comp. Sci., Stanford University, 1995.","key":"2_CR10","DOI":"10.1007\/BFb0020933"},{"issue":"4","key":"2_CR11","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/BF01995674","volume":"2","author":"R. Koymans","year":"1990","unstructured":"R. Koymans. Specifying real-time properties with metric temporal logic. Real-time Systems, 2(4):255\u2013299, 1990.","journal-title":"Real-time Systems"},{"doi-asserted-by":"crossref","unstructured":"R. Koymans, J. Vytopyl, and W.-P. de Roever. Real-time programming and asynchronous message passing. In Proc. 2nd ACM Symp. Princ. of Dist. Comp., pages 187\u2013197, 1983.","key":"2_CR12","DOI":"10.1145\/800221.806721"},{"issue":"1","key":"2_CR13","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/0304-3975(91)90041-Y","volume":"83","author":"Z. Manna","year":"1991","unstructured":"Z. Manna and A. Pnueli. Completing the temporal picture. Theor. Comp. Sci., 83(1):97\u2013130, 1991.","journal-title":"Theor. Comp. Sci."},{"key":"2_CR14","volume-title":"The Temporal Logic of Reactive and Concurrent Systems: Specification","author":"Z. Manna","year":"1991","unstructured":"Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag, New York, 1991."},{"key":"2_CR15","doi-asserted-by":"publisher","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"},{"doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli. Temporal verification diagrams. In T. Ito and A. R. Meyer, editors, Theoretical Aspects of Computer Software, volume 789 of Lect. Notes in Comp. Sci., pages 726\u2013765. Springer-Verlag, 1994.","key":"2_CR16","DOI":"10.1007\/3-540-57887-0_123"},{"key":"2_CR17","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-4222-2","volume-title":"Temporal Verification of Reactive Systems: Safety","author":"Z. Manna","year":"1995","unstructured":"Z. Manna and A. Pnueli. Temporal Verification of Reactive Systems: Safety. Springer-Verlag, New York, 1995."},{"doi-asserted-by":"crossref","unstructured":"F. Moller and C. Tofts. A temporal calculus of communicating systems. In J.C.M. Baeten and J.W. Klop, editors, Proceedings of Concur'90, volume 458 of Lect. Notes in Comp. Sci., pages 401\u2013415. Springer-Verlag, 1990.","key":"2_CR18","DOI":"10.1007\/BFb0039073"},{"doi-asserted-by":"crossref","unstructured":"X. Nicollin, J. Sifakis, and S. Yovine. From ATP to timed graphs and hybrid systems. In J.W. de Bakker, C. Huizing, W.P. de Roever, and G. Rozenberg, editors, Proceedings of the REX Workshop \u201cReal-Time: Theory in Practice\u201d, volume 600 of Lect. Notes in Comp. Sci., pages 549\u2013572. Springer-Verlag, 1992.","key":"2_CR19","DOI":"10.1007\/BFb0032007"},{"key":"2_CR20","series-title":"Advanced Software Development Series","volume-title":"Temporal Logic of Real-Time Systems","author":"J.S. Ostroff","year":"1990","unstructured":"J.S. Ostroff. Temporal Logic of Real-Time Systems. Advanced Software Development Series. Research Studies Press (John Wiley & Sons), Taunton, England, 1990."},{"doi-asserted-by":"crossref","unstructured":"J. Sifakis. An overview and synthesis on timed process algebra. In K.G. Larsen and A. Skou, editors, 3rd Computer Aided Verification Workshop, volume 575 of Lect. Notes in Comp. Sci., pages 376\u2013398. Springer-Verlag, 1991.","key":"2_CR21","DOI":"10.1007\/3-540-55179-4_36"}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems III"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0020933","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T00:40:19Z","timestamp":1586565619000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0020933"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540611554","9783540683346"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/bfb0020933","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}