{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:10:32Z","timestamp":1760202632222},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540616047"},{"type":"electronic","value":"9783540706250"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61604-7_75","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:03:51Z","timestamp":1330293831000},"page":"546-562","source":"Crossref","is-referenced-by-count":36,"title":["Verifying abstractions of timed systems"],"prefix":"10.1007","author":[{"given":"Serdar","family":"Ta\u015eiran","sequence":"first","affiliation":[]},{"given":"Rajeev","family":"Alur","sequence":"additional","affiliation":[]},{"given":"Robert P.","family":"Kurshan","sequence":"additional","affiliation":[]},{"given":"Robert K.","family":"Brayton","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"32_CR1","doi-asserted-by":"crossref","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"},{"key":"32_CR2","doi-asserted-by":"crossref","unstructured":"R. Alur and T.A. Henzinger. Reactive modules. In Proceedings of the 11th IEEE Symposium on Logic in Computer Science, 1996.","DOI":"10.1109\/LICS.1996.561320"},{"key":"32_CR3","doi-asserted-by":"crossref","unstructured":"R. Alur and R.P. Kurshan. Timing analysis in COSPAN. In Hybrid Systems III, LNCS 1066, pages 220\u2013231, Springer-Verlag, 1996.","DOI":"10.1007\/BFb0020948"},{"key":"32_CR4","doi-asserted-by":"crossref","unstructured":"M. Abadi and L. Lamport. An old-fashioned recipe for real time. In Real-Time: Theory in Practice, REX Workshop, LNCS 600, pages 1\u201327. Springer-Verlag, 1991.","DOI":"10.1007\/BFb0031985"},{"issue":"1","key":"32_CR5","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1145\/151646.151649","volume":"15","author":"M. Abadi","year":"1993","unstructured":"M. Abadi and L. Lamport. Composing specifications. ACM TOPLAS, 15(1):73\u2013132, 1993.","journal-title":"ACM TOPLAS"},{"key":"32_CR6","doi-asserted-by":"crossref","unstructured":"C. Daws, A. Olivero, and S. Yovine. Verifying ET-LOTOS programs with KRONOS. In Formal Description Techniques VII, Proceedings of FORTE'94, pages 227\u2013242, 1994.","DOI":"10.1007\/978-0-387-34878-0_17"},{"issue":"3","key":"32_CR7","doi-asserted-by":"crossref","first-page":"843","DOI":"10.1145\/177492.177725","volume":"16","author":"O. Gr\u00fcmberg","year":"1994","unstructured":"O. Gr\u00fcmberg and D.E. Long. Model checking and modular verification. ACM Transactions on Programming Languages and Systems, 16(3):843\u2013871, 1994.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"32_CR8","doi-asserted-by":"crossref","unstructured":"R. Gawlick, R. Segala, J. Sogaard-Andersen, and N. Lynch. Liveness in timed and untimed systems. In Automata, Languages, and Programming, Proceedings of the 21st ICALP, LNCS 820, pages 166\u2013177, Springer-Verlag 1994.","DOI":"10.1007\/3-540-58201-0_66"},{"key":"32_CR9","doi-asserted-by":"crossref","unstructured":"M.R. Henzinger, T.A. Henzinger, and P.W. Kopke. Computing simulations on finite and infinite graphs. In Proceedings of the 36th IEEE Symposium on Foundations of Computer Science, pages 453\u2013462, 1995.","DOI":"10.1109\/SFCS.1995.492576"},{"issue":"1","key":"32_CR10","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/0890-5401(90)90025-D","volume":"86","author":"P. Kanellakis","year":"1990","unstructured":"P. Kanellakis and S.A. Smolka. CCS expressions, finite state processes, and three problems of equivalence. Information and Computation, 86(1):43\u201368, 1990.","journal-title":"Information and Computation"},{"key":"32_CR11","doi-asserted-by":"crossref","unstructured":"R.P. Kurshan. Computer-aided Verification of Coordinating Processes: the automata-theoretic approach. Princeton University Press, 1994.","DOI":"10.1515\/9781400864041"},{"key":"32_CR12","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1007\/BF02252683","volume":"6","author":"N.A. Lynch","year":"1992","unstructured":"N.A. Lynch and H. Attiya. Using mappings to prove timing properties. Distributed Computing, 6:121\u2013139, 1992.","journal-title":"Distributed Computing"},{"key":"32_CR13","doi-asserted-by":"crossref","unstructured":"K. Larsen, P. Pettersson, and W. Yi. Compositional and symbolic model-checking of real-time systems. In Proceedings of the 16th IEEE Real-Time Systems Symposium, 1995.","DOI":"10.1109\/REAL.1995.495198"},{"key":"32_CR14","doi-asserted-by":"crossref","unstructured":"N.A. Lynch and M. Tuttle. Hierarchical correctness proofs for distributed algorithms. In Proceedings of the Seventh ACM Symposium on Principles of Distributed Computing, pages 137\u2013151, 1987.","DOI":"10.1145\/41840.41852"},{"key":"32_CR15","unstructured":"T. Rokicki. Representing and modeling digital circuits. PhD thesis, Stanford University, 1993."},{"key":"32_CR16","doi-asserted-by":"crossref","unstructured":"A.U. Shankar. A simple assertional proof system for real-time systems. In Proceedings of the 13th IEEE Real-Time Systems Symposium, pages 167\u2013176, 1992.","DOI":"10.1109\/REAL.1992.242666"},{"key":"32_CR17","doi-asserted-by":"crossref","unstructured":"K. \u010der\u00c3ns. Decidability of bisimulation equivalence for parallel timer processes. In Proceedings of the Fourth Workshop on Computer-Aided Verification, LNCS 663, pages 302\u2013315, Springer-Verlag, 1992.","DOI":"10.1007\/3-540-56496-9_24"}],"container-title":["Lecture Notes in Computer Science","CONCUR '96: Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61604-7_75.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:08:35Z","timestamp":1605647315000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61604-7_75"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540616047","9783540706250"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-61604-7_75","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}