{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:23:51Z","timestamp":1725456231933},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540627814"},{"type":"electronic","value":"9783540685173"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0030597","type":"book-chapter","created":{"date-parts":[[2005,12,1]],"date-time":"2005-12-01T06:10:41Z","timestamp":1133417441000},"page":"201-212","source":"Crossref","is-referenced-by-count":3,"title":["The Railroad Crossing Problem: Towards semantics of timed algorithms and their model checking in high level languages"],"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":[[2005,6,20]]},"reference":[{"key":"16_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":"16_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":"16_CR3","unstructured":"D. Beauquier and A. Slissenko. The railroad crossing problem: Towards semantics of timed algorithms and their model checking in high level languages. TR-96-10, Dept. of Informatics, Univ. Paris-12, 24p., 1996."},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"A. Emerson. Temporal and model 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":"16_CR5","doi-asserted-by":"crossref","unstructured":"A. Emerson. Automated temporal reasoning about reactive systems. In F. Moller and G. Birtwistle, editors, Logic for Concurrency. Structure versus Automata, pages 41\u2013101. Springer-Verlag, 1996. Series: \u201cLecture notes in Computer Science (Tutorial)\u201d, Vol. 1043.","DOI":"10.1007\/3-540-60915-6_3"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"Yu. Gurevich and J. Huggins. The railroad crossing problem: an experiment with instantaneous actions and immediate reactions. In Buning, H. K., editor, Computer Science Logics, Selected papers from CSL'95, pages 266\u2013290. Springer-Verlag, 1996. Lect. Notes in Comput. Sci, vol. 1092.","DOI":"10.1007\/3-540-61377-3_43"},{"key":"16_CR7","unstructured":"Yu. Gurevich. Evolving algebra 1993: Lipari guide. In E. B\u00f6rger, editor, Specification and Validation Methods, pages 9\u201393. Oxford University Press, 1995."},{"key":"16_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. H. Zedan, Series Ed."},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"R. Milner. Operational and algebraic semantics of concurrent processes. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science. Vol. B: Formal Models and Sematics, pages 1201\u20131242. Elsevier Science Publishers B.V., 1990.","DOI":"10.1016\/B978-0-444-88074-1.50024-X"},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli. Temporal Logic of Reactive and Concurrent Systems: Specification. Springer Verlag, 1992.","DOI":"10.1007\/978-1-4612-0931-7"}],"container-title":["Lecture Notes in Computer Science","TAPSOFT '97: Theory and Practice of Software Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0030597","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T08:20:40Z","timestamp":1586593240000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0030597"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540627814","9783540685173"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/bfb0030597","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}