{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,8]],"date-time":"2025-01-08T05:31:47Z","timestamp":1736314307859,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540627906"},{"type":"electronic","value":"9783540685197"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0035387","type":"book-chapter","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T15:28:40Z","timestamp":1138202920000},"page":"165-182","source":"Crossref","is-referenced-by-count":6,"title":["Real-time logics: Fictitious clock as an abstraction of dense time"],"prefix":"10.1007","author":[{"given":"Jean-Fran\u00e7ois","family":"Raskin","sequence":"first","affiliation":[]},{"given":"Pierre-Yves","family":"Schobbens","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,26]]},"reference":[{"key":"12_CR1","unstructured":"R. Alur. Techniques for Automatic Verification of Real-Time Systems. PhD thesis, Stanford University, 1991."},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"R. Alur, C. Courcoubetis, and D. Dill. Model-checking for real-time systems. In Proceedings of the 5th Symposium on Logic in Computer Science, pages 414\u2013425, Philadelphia, June 1990.","DOI":"10.1109\/LICS.1990.113766"},{"key":"12_CR3","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"},{"issue":"1","key":"12_CR4","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1006\/inco.1993.1025","volume":"104","author":"R. Alur","year":"1993","unstructured":"R. Alur and T.A. Henzinger. Real-time logics: complexity and expressiveness. Information and Computation, 104(1):35\u201377, 1993. Preliminary version appears in the Proc. of 5th LICS, 1990.","journal-title":"Information and Computation"},{"issue":"1","key":"12_CR5","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1145\/174644.174651","volume":"41","author":"R. Alur","year":"1994","unstructured":"R. Alur and T.A. Henzinger. A really temporal logic. Journal of the ACM, 41(1):181\u2013204, 1994. Preliminary version appears in Proc. 30th FOCS, 1989.","journal-title":"Journal of the ACM"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"J.R. Burch, E.M. Clarke, K.L. McMillan, D.L. Dill, and L.J. Hwang. Symbolic model checking: 1020 states and beyond. In Proceedings of the 5th Symposium on Logic in Computer Science, pages 428\u2013439, Philadelphia, June 1990.","DOI":"10.1109\/LICS.1990.113767"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"P. Cousot and R. Cousot. Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Conference Record of Fourth ACM Symposium on Programming Languages (POPL'77), pages 238\u2013252, Los Angeles, California, January 1977.","DOI":"10.1145\/512950.512973"},{"issue":"4","key":"12_CR8","doi-asserted-by":"crossref","first-page":"511","DOI":"10.1093\/logcom\/2.4.511","volume":"2","author":"P. Cousot","year":"1992","unstructured":"P. Cousot and R. Cousot. Abstract interpretation frameworks. Journal of Logic and Computation, 2(4):511\u2013547, 1992.","journal-title":"Journal of Logic and Computation"},{"key":"12_CR9","volume-title":"Lecture Notes in Computer Science","author":"P. Cousot","year":"1992","unstructured":"P. Cousot and R. Cousot. Comparison of the Galois Connection and Widening\/Narrowing Approaches to Abstract Interpretation (Invited Paper). In M. Bruynooghe and M. Wirsing, editors, Proceedings of the Fourth International Workshop on Programming Language Implementation and Logic Programming (PLILP'92), Lecture Notes in Computer Science, Leuven, August 1992. Springer-Verlag."},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"E.A. Emerson. Handbook in Theoretical Computer Science, Formal Models and Semantics, chapter Temporal and Modal Logic, pages 995\u20131072. Elsevier, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"12_CR11","volume-title":"Simple on-the-fly automatic verification of linear temporal logic","author":"R. Gerth","year":"1995","unstructured":"R. Gerth, D. Peled, M. Y. Vardi, and P. Wolper. Simple on-the-fly automatic verification of linear temporal logic. In Proc. 15th Work. Protocol Specification, Testing, and Verification, Warsaw, June 1995. North-Holland."},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"T.A. Henzinger, Z. Manna, and A. Pnueli. What good are digital clocks? In W. Kuich, editor, ICALP 92: Automata, Languages, and Programming, Lecture Notes in Computer Science 623, pages 545\u2013558. Springer-Verlag, 1992.","DOI":"10.1007\/3-540-55719-9_103"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Ron Koymans. Specifying message passing and time-critical systems with temporal logic. LNCS 651, Springer-Verlag, 1992.","DOI":"10.1007\/3-540-56283-4"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"A. Pnueli. The temporal logic of programs. In Proc. 18th IEEE Symposium on Foundation of Computer Science, pages 46\u201357, 1977.","DOI":"10.1109\/SFCS.1977.32"},{"key":"12_CR15","volume-title":"Research Paper RP-09-96","author":"J.-F. Raskin","year":"1996","unstructured":"J.-F. Raskin. Model-Generation of a Fictitious Clock Real-Time Logic: A Symbolic Decision Procedure Using Sharing-Trees. Research Paper RP-09-96, Computer Science Department, FUNDP, Namur (Belgium), March 1996."},{"key":"12_CR16","volume-title":"Research Paper RP-17-96","author":"J.-F. Raskin","year":"1996","unstructured":"J.-F. Raskin and P.-Y. Schobbens. Real-Time Logics: Fictitious Clock as an Abstraction of Dense Time. Research Paper RP-17-96, Computer Science Department, FUNDP, Namur (Belgium), September 1996."}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/link.springer.com\/content\/pdf\/10.1007\/BFb0035387","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,7]],"date-time":"2025-01-07T11:55:40Z","timestamp":1736250940000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/link.springer.com\/10.1007\/BFb0035387"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540627906","9783540685197"],"references-count":16,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1007\/bfb0035387","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}