{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,8]],"date-time":"2026-10-08T02:01:42Z","timestamp":1791424902447,"version":"4.3.3"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540521488","type":"print"},{"value":"9783540469056","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/3-540-52148-8_17","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T21:22:47Z","timestamp":1330204967000},"page":"197-212","source":"Crossref","is-referenced-by-count":356,"title":["Timing assumptions and verification of finite-state concurrent systems"],"prefix":"10.1007","author":[{"given":"David L.","family":"Dill","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"17_CR1","unstructured":"S. Aggarwal and R.P. Kurshan. Modelling elapsed time in protocol specification. In H. Rudin and C.H. West, editors, Protocol Specification, Testing and Verification, III, pages 51\u201362. Elsevier Science Publisers B.V., 1983."},{"key":"17_CR2","unstructured":"S. Aggarwal, R.P. Kurshan, and K. Sabnani. A calculus for protocol specification and validation. In Protocol Specification, Testing, and Verification, III, pages 19\u201334. Elsevier Science Publishers B.V. (North-Holland), 1983."},{"key":"17_CR3","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1093\/imamat\/15.2.161","volume":"15","author":"R.C. Backhouse","year":"1975","unstructured":"R.C. Backhouse and B.A. Carre. Regular algebra applied to path-finding problems. Journal of the Institute of Mathematics and its Applications, 15:161\u2013186, 1975.","journal-title":"Journal of the Institute of Mathematics and its Applications"},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"J. R. Burch. Combining ctl, trace theory, and timing models. In Proceedings of the Workshop on Automatic Verification Methods for Finite State Systems (participants version), June 1989.","DOI":"10.1007\/3-540-52148-8_28"},{"issue":"2","key":"17_CR5","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/S0022-0000(74)80051-6","volume":"8","author":"Y. Choueka","year":"1974","unstructured":"Yaacov Choueka. Theories of automata on \u03c9-tapes: A simplified approach. Journal of Computer and System Sciences, 8(2):117\u2013141, April 1974.","journal-title":"Journal of Computer and System Sciences"},{"key":"17_CR6","unstructured":"Samuel Eilenberg. Automata, Languages, and Machines, Vol. A. Academic Press, 1974."},{"key":"17_CR7","unstructured":"E. Allen Emerson, A.K. Mok, A.P.Sistla, and Jai Srinivasan. Quantitative temporal reasoning. In Proceedings of the Workshop on Automatic Verification Methods for Finite State Systems (participants version), June 1989."},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"N. Halbwachs, D. Pilaud, F. Ouabodessalam, and A-C. Glory. Specifying, programming and verifying real-time systems using a synchronous declarative language. In Proceedings of the Workshop on Automatic Verification Methods for Finite State Systems (participants version), June 1989.","DOI":"10.1007\/3-540-52148-8_18"},{"key":"17_CR9","unstructured":"C.A.R. Hoare. A model for communicating sequential processes. Technical Report PRG-22, Programming Research Group, Oxford University Computing Laboratory, 1981."},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"Ron Koymans, Jan Vytopil, and Willem P. de Roever. Real-time programming and asynchronous message passing. In Proceedings of the 2nd ACM Symposium on Principles of Distributed Computing, pages 187\u2013197, 1983.","DOI":"10.1145\/800221.806721"},{"key":"17_CR11","unstructured":"Harry R. Lewis. Finite-state analysis of asynchronous circuits with bounded temporal uncertainty. Technical Report TR-15-89, Aiken Computation Laboratory, Harvard University, July 1989."},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"J.S. Ostroff. Automatic verification of timed transition models. In Proceedings of the Workshop on Automatic Verification Methods for Finite State Systems (participants version), June 1989.","DOI":"10.1007\/3-540-52148-8_20"},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"Amir Pnueli. In transition from global to modular temporal reasoning about programs. In Kzysztof Apt, editor, Logics and Models of Concurrent Systems, volume 13 of NATO ASI Series F: Computer and System Sciences, pages 123\u2013144. Springer-Verlag, 1985.","DOI":"10.1007\/978-3-642-82453-1_5"},{"key":"17_CR14","doi-asserted-by":"crossref","unstructured":"Michael O. Rabin. Weakly definable relations and special automata. In Yehoshua Bar-Hillel, editor, Mathematical Logic and Foundations of Set Theory, pages 1\u201323. North-Holland Publishing Company, 1970.","DOI":"10.1016\/S0049-237X(08)71929-3"},{"key":"17_CR15","doi-asserted-by":"crossref","unstructured":"Shmuel Safra. On the complexity of \u03c9-automata. In ??, editor, Proceedings of the 29th IEEE Symposium on Foundations of Computer Science, pages 319\u2013327. IEEE ??, October 1988.","DOI":"10.1109\/SFCS.1988.21948"},{"key":"17_CR16","doi-asserted-by":"crossref","unstructured":"A.P. Sistla, M.Y. Vardi, and P. Wolper. The complementation problem for buchi automata with applications to temporal logic. In W. Brauer, editor, Automata, Languages, and Programming, volume 194 of Lecture Notes in Computer Science, pages 465\u2013474. Springer-Verlag, 1985.","DOI":"10.1007\/BFb0015772"},{"key":"17_CR17","doi-asserted-by":"crossref","unstructured":"M.Y. Vardi and P. Wolper. Automata theoretic techniques for modal logics of programs. Technical report, IBM Research, October 1984.","DOI":"10.1145\/800057.808711"}],"container-title":["Lecture Notes in Computer Science","Automatic Verification Methods for Finite State Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-52148-8_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T03:04:53Z","timestamp":1640919893000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-52148-8_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540521488","9783540469056"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-52148-8_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1990]]}}}