{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:57:12Z","timestamp":1725494232932},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540664123"},{"type":"electronic","value":"9783540483212"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48321-7_7","type":"book-chapter","created":{"date-parts":[[2007,11,5]],"date-time":"2007-11-05T12:57:55Z","timestamp":1194267475000},"page":"100-111","source":"Crossref","is-referenced-by-count":2,"title":["Decidable classes of the verification problem in a timed predicate logic"],"prefix":"10.1007","author":[{"given":"Dani\u00e8le","family":"Beauquier","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anatol","family":"Slissenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,6,3]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"R. Alur, C. Courcoubetis, T. Henzinger, and P.-H. Ho. Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems. In R.L. Grossman, A. Nerode, A.P. Ravn, and H. Rischel, editors, Workshop on Theory of Hybrid Systems, 1992, pages 209\u2013229. Springer Verlag, 1993. Lect. Notes in Comput. Sci, vol. 736.","DOI":"10.1007\/3-540-57318-6_30"},{"key":"7_CR2","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. A theory of timed automata. Theoretical Computer Science, 126:183\u2013235, 1994.","journal-title":"Theoretical Computer Science"},{"key":"7_CR3","unstructured":"D. Beauquier and A. Slissenko. On semantics of algorithms with continuous time. Technical Report 97-15, Revised version., University Paris 12, Department of Informatics, 1997. Available at http:\/\/www.eecs.umich.edu\/gasm\/ and at http:\/\/www.univ-paris12.fr\/lacl\/ ."},{"key":"7_CR4","unstructured":"D. Beauquier and A. Slissenko. The railroad crossing problem: Towards semantics of timed algorithms and their model-checking in high-level languages. In M. Bidoit and M. Dauchet, editors, TAPSOFT\u201997: Theory and Practice of Software Development, pages 201\u2013212. Springer Verlag, 1997. Lect. Notes in Comput. Sci., vol. 1214."},{"key":"7_CR5","unstructured":"D. Beauquier and A. Slissenko. Decidable verification for reducible timed automata specified in a first order logic with time. Technical Report 98-16, University Paris 12, Department of Informatics, 1998. Available at http:\/\/www.univparis12.fr\/lacl\/ ."},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science. Vol. B: Formal Models and Sematics, pages 995\u20131072. Elsevier Science Publishers B.V., 1990.","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"7_CR7","unstructured":"Y. Gurevich. Evolving algebra 1993: Lipari guide. In E. B\u00f6rger, editor, Specification and Validation Methods, pages 9\u201393. Oxford University Press, 1995."},{"key":"7_CR8","unstructured":"H. A. Hansson. Time and Probability in Formal Design of Distributed Systems. Elsevier, 1994. Series: \u201cReal Time Safety Critical System\u201d, vol. 1. Series Editor: H. Zedan."},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"T. Henzinger. It\u2019s about time: real-time logics reviewed. In Proc. 10th CONCUR, pages 439\u2013454. Springer-Verlag, 1998. Lect. Notes in Comput. Sci., vol. 1466.","DOI":"10.1007\/BFb0055640"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Y. Hirshfeld and A. Rabinovich. Quantitative temporal logic. Manuscript, 11 p., 1998.","DOI":"10.1007\/3-540-48168-0_13"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Y. Hirshfeld and A. Rabinovich. A framework for decidable metrical logics. Manuscript, 13 p., 1999.","DOI":"10.1007\/3-540-48523-6_39"},{"key":"7_CR12","unstructured":"PVS. PVS. WWW site of PVS papers. http:\/\/www.csl.sri.com\/sri-csl-fm.html ."},{"key":"7_CR13","unstructured":"A. Rabinovich. Decidability in monadic logic of order over finitely variable signals. Manuscript, 15 p., 1997."},{"key":"7_CR14","unstructured":"A. Rabinovich. On the decidability of continuous time specification formalisms. Manuscript, 15 p., 1997. To appear in J. of Logic and Comput."},{"key":"7_CR15","unstructured":"A. Rabinovich. Expressive completeness of duration calculus. Manuscript, 33 p., 1998."},{"key":"7_CR16","unstructured":"B. Trakhtenbrot. Automata and hybrid systems. Lecture Notes 153, Uppsala University, Computing Science Department, 1998. Edited by F. Moller and B. Trakhtenbrot."},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"V. Weispfenning. Mixed real-integer linear quantifier elimination. In Proc. of the 1999 Int. Symp. on Symbolic and Algebraic Computations (ISSAC\u201999), ACM Press, 1999. To appear.","DOI":"10.1145\/309831.309888"}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Computation Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48321-7_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T05:22:18Z","timestamp":1556947338000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48321-7_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664123","9783540483212"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-48321-7_7","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}