{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,24]],"date-time":"2025-02-24T05:21:39Z","timestamp":1740374499625,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540206804"},{"type":"electronic","value":"9783540245971"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-24597-1_9","type":"book-chapter","created":{"date-parts":[[2010,7,29]],"date-time":"2010-07-29T07:39:20Z","timestamp":1280389160000},"page":"100-111","source":"Crossref","is-referenced-by-count":7,"title":["Real-Time Model-Checking: Parameters Everywhere"],"prefix":"10.1007","author":[{"given":"V\u00e9ronique","family":"Bruy\u00e8re","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Fran\u00e7ois","family":"Raskin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","first-page":"592","volume-title":"Proceedings of the 25th Annual Symposium on Theory of Computing","author":"R. Alur","year":"1993","unstructured":"Alur, R., Henzinger, T.A., Vardi, M.Y.: Parametric real-time reasoning. In: Proceedings of the 25th Annual Symposium on Theory of Computing, pp. 592\u2013601. ACM Press, New York (1993)"},{"key":"9_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/3-540-48523-6_13","volume-title":"Automata, Languages and Programming","author":"R. Alur","year":"1999","unstructured":"Alur, R., Etessami, K., La Torre, S., Peled, D.: Parametric temporal logic for model measuring. In: Wiedermann, J., Van Emde Boas, P., Nielsen, M. (eds.) ICALP 1999. LNCS, vol.\u00a01644, pp. 159\u2013173. Springer, Heidelberg (1999)"},{"key":"9_CR3","unstructured":"B\u00e9s, A.: A survey of arithmetical definability. A tribute to Maurice Boffa, Special Issue of Belg. Math. Soc., 1\u201354 (2002)"},{"key":"9_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"687","DOI":"10.1007\/3-540-36494-3_60","volume-title":"STACS 2003","author":"V. Bruy\u00e9re","year":"2003","unstructured":"Bruy\u00e9re, V., Dall\u2019olio, E., Raskin, J.-F.: Durations, parametric model-checking in timed automata with Presburger arithmetic. In: Alt, H., Habib, M. (eds.) STACS 2003. LNCS, vol.\u00a02607, pp. 687\u2013698. Springer, Heidelberg (2003)"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Allen Emerson, E., Trefler, R.J.: Parametric quantitative temporal reasoning. Logic in Computer Science, 336\u2013343 (1999)","DOI":"10.1109\/LICS.1999.782628"},{"key":"9_CR6","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/S1567-8326(02)00037-1","volume":"53","author":"T. Hune","year":"2002","unstructured":"Hune, T., Romijn, J., Stoelinga, M., Vaandrager, F.: Linear parametric model checking of timed automata. Journal of Logic and Algebraic Programming\u00a053, 183\u2013220 (2002)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"9_CR7","unstructured":"Wang, F.: Timing behavior analysis for real-time systems. In: Proceedings of the Tenth IEEE Symposium on Logic in Computer Science, pp. 112\u2013122 (1995)"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Wang, F., Hsiung, P.-A.: Parametric analysis of computer systems. Algebraic Methodology and Software Technology, 539\u2013553 (1997)","DOI":"10.1007\/BFb0000495"}],"container-title":["Lecture Notes in Computer Science","FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24597-1_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,23]],"date-time":"2025-02-23T15:21:19Z","timestamp":1740324079000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24597-1_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540206804","9783540245971"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24597-1_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}