{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,14]],"date-time":"2025-04-14T04:26:28Z","timestamp":1744604788648,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540662242"},{"type":"electronic","value":"9783540485230"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48523-6_13","type":"book-chapter","created":{"date-parts":[[2007,12,10]],"date-time":"2007-12-10T12:06:31Z","timestamp":1197288391000},"page":"159-168","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["Parametric Temporal Logic for \u201cModel Measuring\u201d"],"prefix":"10.1007","author":[{"given":"Rajeev","family":"Alur","sequence":"first","affiliation":[]},{"given":"Kousha","family":"Etessami","sequence":"additional","affiliation":[]},{"given":"Salvatore","family":"La Torre","sequence":"additional","affiliation":[]},{"given":"Doron","family":"Peled","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,1,18]]},"reference":[{"issue":"1","key":"13_CR1","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1145\/227595.227602","volume":"43","author":"R. Alur","year":"1996","unstructured":"R. Alur, T. Feder, and T.A. Henzinger. The bene_ts of relaxing punctuality. Journal of the ACM, 43(1):116\u2013146, 1996.","journal-title":"Journal of the ACM"},{"issue":"1","key":"13_CR2","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1006\/inco.1993.1025","volume":"104","author":"R. Alur","year":"1993","unstructured":"R. Alur and T.A. Henzinger. Real-time logics: complexity and expressiveness. Information and Computation, 104(1):35\u201377, 1993.","journal-title":"Information and Computation"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"R. Alur, T.A. Henzinger, and M.Y. Vardi. Parametric real-time reasoning. In Proc. of the 25th ACM STOC, pp. 592\u2013601, 1993.","DOI":"10.1145\/167088.167242"},{"key":"13_CR4","series-title":"Lect Notes Comput Sci","volume-title":"Proce. Eighth CAV","author":"S. Campos","year":"1996","unstructured":"S. Campos, E. Clarke, and O. Grumberg. Selective quantitative analysis and interval model checking. In Proce. Eighth CAV, LNCS 1102, 1996."},{"key":"13_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/BFb0025774","volume-title":"Proc. Workshop on Logic of Programs","author":"E.M. Clarke","year":"1981","unstructured":"E.M. Clarke and E.A. Emerson. Design and synthesis of synchronization skeletons using branching time temporal logic. In Proc. Workshop on Logic of Programs, LNCS 131, pp. 52\u201371, 1981."},{"issue":"6","key":"13_CR6","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1109\/6.499951","volume":"33","author":"E.M. Clarke","year":"1996","unstructured":"E.M. Clarke and R.P. Kurshan. Computer-aided verification. IEEE Spectrum, 33(6):61\u201367, 1996.","journal-title":"IEEE Spectrum"},{"key":"13_CR7","series-title":"Lect Notes Comput Sci","volume-title":"Proc. Third CAV","author":"C. Courcoubetis","year":"1991","unstructured":"C. Courcoubetis and M. Yannakakis. Minimum and maximum delay problems in real-time systems. In Proc. Third CAV, LNCS 575, 1991."},{"key":"13_CR8","first-page":"995","volume":"B","author":"E.A. Emerson","year":"1990","unstructured":"E.A. Emerson. Temporal and modal logic. In Handbook of Theoretical Computer Science, vol B, pp. 995\u20131072. Elsevier Science Publishers, 1990.","journal-title":"Handbook of Theoretical Computer Science"},{"key":"13_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1007\/BFb0023727","volume-title":"Computer-Aided Verification, 2nd International Conference, CAV\u201990","author":"E.A. Emerson","year":"1990","unstructured":"E.A. Emerson, A.K. Mok, A.P. Sistla, and J. Srinivasan. Quantitative temporal reasoning. In Computer-Aided Verification, 2nd International Conference, CAV\u201990, LNCS 531, pp. 136\u2013145, 1990."},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"T.A. Henzinger, P. Kopke, A. Puri, and P. Varaiya. What\u2019s decidable about hybrid automata. In Proceedings of the 27th ACM Symposium on Theory of Computing, pp. 373\u2013382, 1995.","DOI":"10.1145\/225058.225162"},{"key":"13_CR11","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/BF01995674","volume":"2","author":"R. Koymans","year":"1990","unstructured":"R. Koymans. Specifying real-time properties with metric temporal logic. Journal of Real-Time Systems, 2:255\u2013299, 1990.","journal-title":"Journal of Real-Time Systems"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli. The temporal logic of reactive and concurrent systems: Specification. Springer-verlag, 1991.","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"A. Pnueli. The temporal logic of programs. In Proceedings of the 18th IEEE Symposium on Foundations of Computer Science, pp. 46\u201377, 1977.","DOI":"10.1109\/SFCS.1977.32"},{"issue":"2","key":"13_CR14","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1006\/inco.1996.0086","volume":"130","author":"F. Wang","year":"1996","unstructured":"Farn Wang. Parametric timing analysis for real-time systems. Information and Computation, 130(2):131\u2013150, 1996.","journal-title":"Information and Computation"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48523-6_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,22]],"date-time":"2022-01-22T03:05:23Z","timestamp":1642820723000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/3-540-48523-6_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540662242","9783540485230"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-48523-6_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]},"assertion":[{"value":"18 January 2002","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}