{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:04:45Z","timestamp":1725494685350},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540410553"},{"type":"electronic","value":"9783540453529"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-45352-0_23","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T17:26:02Z","timestamp":1194974762000},"page":"276-290","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["An On-the-Fly Tableau Construction for a Real-Time Temporal Logic"],"prefix":"10.1007","author":[{"given":"Marc","family":"Geilen","sequence":"first","affiliation":[]},{"given":"Dennis","family":"Dams","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,1,22]]},"reference":[{"key":"23_CR1","unstructured":"R. Alur. Techniques for automatic verification of real-time systems. PhD thesis, Stanford University, 1991."},{"key":"23_CR2","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1006\/inco.1993.1024","volume":"104","author":"R. Alur","year":"1993","unstructured":"R. Alur, C. Courcoubetis, and D. Dill. Model-checking in dense real-time. Information and Computation, 104:2\u201334, 1993.","journal-title":"Information and Computation"},{"key":"23_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 timed automata. Theoretical Computer Science, 126:183\u2013235, 1994.","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"23_CR4","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1145\/227595.227602","volume":"43","author":"R. Alur","year":"1996","unstructured":"R. Alur, T. Feder, and T. Henzinger. The benefits of relaxing punctuality. Journal of the ACM, 43(1):116\u2013146, January 1996.","journal-title":"Journal of the ACM"},{"key":"23_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1007\/3-540-48683-6_23","volume-title":"Computer Aided Verification: 11th International Conference Proceedings, CAV\u201999","author":"M. Daniele","year":"1999","unstructured":"M. Daniele, F. Giunchiglia, and M. Y. Vardi. Improved automata generation for linear temporal logic. In N. Halbwachs and D. Peled, editors, Computer Aided Verification: 11th International Conference Proceedings, CAV\u201999, Trento, Italy, July 6-10, 1999 (LNCS 1633), pages 249\u2013260. Springer, 1999."},{"key":"23_CR6","doi-asserted-by":"crossref","unstructured":"K. Etessami and G. Holzmann. Optimizing B\u00fcchi automata. To appear in Proceedings of CONCUR\u20192000, 2000.","DOI":"10.1007\/3-540-44618-4_13"},{"key":"23_CR7","unstructured":"M.C.W. Geilen and J.P.M. Voeten. Object-oriented modelling and specification using SHE. In R.C. Backhouse and J.C.M. Baeten, editors, Proceedings of the First International Symposium on Visual Formal Methods VFM\u201999, pages 16\u201324. Computing Science Reports 99\/08 Department of Mathematics and Computer Science, Eindhoven University of Technology, 1999."},{"key":"23_CR8","doi-asserted-by":"crossref","unstructured":"R. Gerth, D. Peled, M.Y. Vardi, and P. Wolper. Simple on-the-fly automatic verification of linear temporal logic. In Proc. IFIP\/WG6.1 Symp. Protocol Specification Testing and Verification (PSTV95), Warsaw Poland, pages 3\u201318. Chapman & Hall, June 1995.","DOI":"10.1007\/978-0-387-34892-6_1"},{"key":"23_CR9","doi-asserted-by":"crossref","unstructured":"T. Henzinger. It\u2019s about time: real-time logics reviewed. In D. Sangiorgi and R. de Simone, editors, Proceedings of the 9th International Conference on Concurrency Theory (CONCUR 1998), pages 439\u2013454, Berlin, 1998. Springer.","DOI":"10.1007\/BFb0055640"},{"issue":"1","key":"23_CR10","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1006\/inco.1994.1045","volume":"111","author":"T. Henzinger","year":"1994","unstructured":"T. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. Symbolic model checking for real-time systems. Information and Computation, 111(1):193\u2013244, June 1994.","journal-title":"Information and Computation"},{"key":"23_CR11","doi-asserted-by":"crossref","unstructured":"O. Lichtenstein and A. Pnueli. Checking that finite state concurrent programs satisfy their linear specification. In Twelfth Annual ACM Symposium on Principles of Programming Languages, pages 97\u2013107. ACM SIGACT\/SIGPLAN, 1985.","DOI":"10.1145\/318593.318622"},{"key":"23_CR12","doi-asserted-by":"crossref","unstructured":"A. Pnueli. The temporal logic of programs. In Proc. of the 18th Annual Symposium on Foundations of Computer Science, pages 46\u201357. IEEE Computer Society Press, 1977.","DOI":"10.1109\/SFCS.1977.32"},{"key":"23_CR13","unstructured":"J.-F. Raskin. Logics, automata and classical theories for deciding real time. PhD thesis, Facult\u00e9s Universitaires Notre-Dame de la Paix, Namur (Belgium), June 1999."},{"key":"23_CR14","unstructured":"M. Y. Vardi and P. Wolper. An automata-theoretic approach to automatic program verification (preliminary report). In Logic in Computer Science, pages 332\u2013344. IEEE TC-MFC, IEEE Computer Society Press, 1986."}],"container-title":["Lecture Notes in Computer Science","Formal Techniques in Real-Time and Fault-Tolerant Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45352-0_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T14:47:12Z","timestamp":1558277232000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45352-0_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540410553","9783540453529"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-45352-0_23","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]},"assertion":[{"value":"22 January 2002","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}