{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:59:29Z","timestamp":1725663569934},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540569220"},{"type":"electronic","value":"9783540477877"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56922-7_16","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:53:45Z","timestamp":1330257225000},"page":"181-193","source":"Crossref","is-referenced-by-count":25,"title":["Computing accumulated delays in real-time systems"],"prefix":"10.1007","author":[{"given":"Rajeev","family":"Alur","sequence":"first","affiliation":[]},{"given":"Costas","family":"Courcoubetis","sequence":"additional","affiliation":[]},{"given":"Thomas A.","family":"Henzinger","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"R. Alur, C. Courcoubetis, and D.L. Dill. Model-checking for real-time systems. In Proceedings of the Fifth IEEE Symposium on Logic in Computer Science, pages 414\u2013425, 1990.","DOI":"10.1109\/LICS.1990.113766"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"R. Alur, C. Courcoubetis, T.A. Henzinger, and P. Ho. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. In Proceedings of the Workshop on Theory of Hybrid Systems, 1992. To appear.","DOI":"10.1007\/3-540-57318-6_30"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"R. Alur and D.L. Dill. Automata for modeling real-time systems. In Automata, Languages and Programming: Proceedings of the 17th ICALP, Lecture Notes in Computer Science 443, pages 322\u2013335. Springer-Verlag, 1990.","DOI":"10.1007\/BFb0032042"},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"R. Alur, T. Feder, and T.A. Henzinger. The benefits of relaxing punctuality. In Proceedings of the Tenth ACM Symposium on Principles of Distributed Computing, pages 139\u2013152, 1991.","DOI":"10.1145\/112600.112613"},{"issue":"2","key":"16_CR5","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E. M. Clarke","year":"1986","unstructured":"E.M. Clarke, E.A. Emerson, and A.P. Sistla. Automatic verification of finite-state concurrent systems using temporal-logic specifications. ACM Transactions on Programming Languages and Systems, 8(2):244\u2013263, 1986.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"16_CR6","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1016\/0020-0190(91)90122-X","volume":"40","author":"Z. Chaochen","year":"1991","unstructured":"Z. Chaochen, C.A.R. Hoare, and A.P. Ravn. A calculus of durations. Information Processing Letters, 40:269\u2013276, 1991.","journal-title":"Information Processing Letters"},{"key":"16_CR7","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1007\/3-540-55179-4_37","volume":"575","author":"C. Courcoubetis","year":"1991","unstructured":"C. Courcoubetis and M. Yannakakis. Minimum and maximum delay problems in real-time systems. In Proceedings of the Third Workshop on Computer-Aided Verification, Lecture Notes in Computer Science 575, pages 399\u2013409, 1991.","journal-title":"Lecture Notes in Computer Science"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"D.L. Dill. Timing assumptions and verification of finite-state concurrent systems. In J. Sifakis, editor, Automatic Verification Methods for Finite State Systems, Lecture Notes in Computer Science 407, pages 197\u2013212. Springer-Verlag, 1989.","DOI":"10.1007\/3-540-52148-8_17"},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"E.A. Emerson, A.K. Mok, A.P. Sistla, and J. Srinivasan. Quantitative temporal reasoning. In E.M. Clarke and R.P. Kurshan, editors, Computer-Aided Verification, 2nd International Conference, CAV'90, Lecture Notes in Computer Science 531, pages 136\u2013145, 1990.","DOI":"10.1007\/BFb0023727"},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"T.A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. Symbolic model-checking for real-time systems. In Proceedings of the Seventh IEEE Symposium on Logic in Computer Science, pages 394\u2013406, 1992.","DOI":"10.1109\/LICS.1992.185551"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"Y. Kesten, A. Pnueli, J. Sifakis, and S. Yovine. Integration graphs: a class of decidable hybrid systems. In Proceedings of the Workshop on Theory of Hybrid Systems, 1992. To appear.","DOI":"10.1007\/3-540-57318-6_29"},{"key":"16_CR12","first-page":"195","volume":"137","author":"J. P. Queille","year":"1982","unstructured":"J.P. Queille and J. Sifakis. Specification and verification of concurrent programs in CESAR. In Proceedings of the 5th International Symposium on Programming, Lecture Notes in Computer Science 137, pages 195\u2013220, 1982.","journal-title":"Lecture Notes in Computer Science"},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"K. \u010cer\u0101ns. Decidability of bisimulation equivalence for parallel timer processes. In Proceedings of the Fourth Workshop on Computer-Aided Verifiction, Lecture Notes in Computer Science, 1992. To appear.","DOI":"10.1007\/3-540-56496-9_24"}],"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_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:07:08Z","timestamp":1605647228000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56922-7_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540569220","9783540477877"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-56922-7_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}