{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T03:25:36Z","timestamp":1778297136866,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540569220","type":"print"},{"value":"9783540477877","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56922-7_21","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:53:58Z","timestamp":1330257238000},"page":"253-267","source":"Crossref","is-referenced-by-count":36,"title":["Timed modal specification \u2014 Theory and tools"],"prefix":"10.1007","author":[{"given":"K\u0101rlis","family":"\u010cer\u0101ns","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jens Chr.","family":"Godskesen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kim G.","family":"Larsen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"21_CR1","unstructured":"R. Alur and D. Dill. Automata for modelling real-time systems. In ICALP'90, volume 443 of Lecture Notes in Computer Science. Springer-Verlag, 1990."},{"key":"21_CR2","doi-asserted-by":"crossref","unstructured":"R. Alur and D. Dill. The theory of timed automata. In Real-Time: Theory in Practice, volume 600 of Lecture Notes in Computer Science. Springer-Verlag, 1991.","DOI":"10.1007\/BFb0031987"},{"key":"21_CR3","unstructured":"J. Baeten and J. Bergstra. Real time process algebra. Technical Report P8916, University of Amsterdam, 1989."},{"key":"21_CR4","unstructured":"A. B\u00f8rjesson, K. Larsen, and A. Skou. Generality in design and compositional verification using tav. In Proceedings of FORTE'92, 1992."},{"key":"21_CR5","doi-asserted-by":"crossref","unstructured":"G. Boudol and K. Larsen. Graphical versus logical specifications. In Proceedings of CAAP'90, volume 431 of Lecture Notes in Computer Science, 1990.","DOI":"10.1007\/3-540-52590-4_40"},{"key":"21_CR6","volume-title":"Technical report","author":"J. Godskesen","year":"1989","unstructured":"J. Godskesen, K. Larsen, and M. Zeeberg. TAV (tools for automatic verification) \u2014 users manual. Technical report, University of Aalborg, Denmark, 1989."},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"K. Larsen. Modal specifications. In Proceedings of Workshop on Automatic Verification Methods for Finite State Systems, volume 407 of Lecture Notes in Computer Science, 1990.","DOI":"10.1007\/3-540-52148-8_19"},{"key":"21_CR8","doi-asserted-by":"crossref","unstructured":"K. Larsen. Efficient local correctness checking. In Proceedings of CAV'92, 1992.","DOI":"10.1007\/3-540-56496-9_4"},{"key":"21_CR9","doi-asserted-by":"crossref","unstructured":"K. Larsen and B. Thomsen. A modal process logic. In Proceedings LICS'88, 1988.","DOI":"10.1109\/LICS.1988.5119"},{"key":"21_CR10","unstructured":"K. Larsen and Y. Wang. Time abstracted bisimulation: Implicit specifications and decidability. Submitted for MFPS'93."},{"key":"21_CR11","unstructured":"R. Milner. Communication and Concurrency. Series in Computer Science. Prentice-Hall International, 1989."},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"X. Nicollin, J. Sifakis, and S. Yovine. Prom ATP to timed graphs and hybrid systems. In Real-Time: Theory in Practice, volume 600 of Lecture Notes in Computer Science. Springer-Verlag, 1991.","DOI":"10.1007\/BFb0032007"},{"key":"21_CR13","doi-asserted-by":"crossref","unstructured":"K. \u010cer\u0101ns. Decidability of bisimulation equivalences for processes with parallel timers. In Proceedings of CAV'92, 1992.","DOI":"10.1007\/3-540-56496-9_24"},{"key":"21_CR14","doi-asserted-by":"crossref","unstructured":"Y. Wang. Real-time behaviour of asynchronous agents. In Proceedings of CON-CUR '90, volume 458 of Lecture Notes in Computer Science. Springer-Verlag, 1990.","DOI":"10.1007\/BFb0039080"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56922-7_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:07:11Z","timestamp":1605647231000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56922-7_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540569220","9783540477877"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-56922-7_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993]]}}}