{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:46:31Z","timestamp":1725493591643},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540405610"},{"type":"electronic","value":"9783540450894"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-45089-0_4","type":"book-chapter","created":{"date-parts":[[2007,10,27]],"date-time":"2007-10-27T03:27:35Z","timestamp":1193455655000},"page":"23-34","source":"Crossref","is-referenced-by-count":5,"title":["Timing Parameter Characterization of Real-Time Systems"],"prefix":"10.1007","author":[{"given":"Farn","family":"Wang","sequence":"first","affiliation":[]},{"given":"Hsu-Chun","family":"Yen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,6,24]]},"reference":[{"issue":"1","key":"4_CR1","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1006\/inco.1993.1024","volume":"104","author":"R. Alur","year":"1990","unstructured":"R. Alur, C. Courcoubetis, D. L. Dill. Model-Checking in Dense Real-Time, Information and Computation 104(1), 2\u201334, 1990.","journal-title":"Information and Computation"},{"key":"4_CR2","series-title":"Lect Notes Comput Sci","first-page":"332","volume-title":"Proc. 17th ICALP","author":"R. Alur","year":"1990","unstructured":"R. Alur, D. L. Dill, D. Automata for Modeling Real-Time Systems, in in Proc. 17th ICALP, LNCS 443, pp. 332\u2013335, 1990."},{"key":"4_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1007\/3-540-48523-6_14","volume-title":"Proc. 26th ICALP","author":"R. Alur","year":"1999","unstructured":"R. Alur, K. Etessami, S. La Torre, D. Peled. Parametric Temporal Logic for Model Measuring, in Proc. 26th ICALP, LNCS 1644, pp. 169\u2013178, 1999."},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"R. Alur, T.A. Henzinger, M.Y. Vardi. Parametric Real-Time Reasoning, in Proc. 25th ACM STOC, pp. 592\u2013601, 1993.","DOI":"10.1145\/167088.167242"},{"key":"4_CR5","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/0020-0190(95)00077-P","volume":"55","author":"B. Berard","year":"1995","unstructured":"B. Berard. Untiming Timed Languages, Inform. Proc. Lett., 55:129\u2013135,1995.","journal-title":"Inform. Proc. Lett."},{"key":"4_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"426","DOI":"10.1007\/3-540-46419-0_29","volume-title":"Proc. TACAS 2000","author":"G. Delzanno","year":"2000","unstructured":"G. Delzanno, J.-F. Raskin. Symbolic Representation of Upward-closed Sets, in Proc. TACAS 2000, LNCS 1785, pp. 426\u2013440, 2000."},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"E.A. Emerson, R. Trefler. Parametric Quantitative Temporal Reasoning, in Proc. IEEE LICS, pp. 336\u2013343, July 1999.","DOI":"10.1109\/LICS.1999.782628"},{"key":"4_CR8","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1006\/inco.1994.1045","volume":"111","author":"T.A. Henzinger","year":"1994","unstructured":"T.A. Henzinger, X. Nicollin, J. Sifakis, S. Yovine. Symbolic Model Checking for Real-Time Systems, Information and Computation, 111, 193\u2013244, 1994.","journal-title":"Information and Computation"},{"key":"4_CR9","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/0304-3975(79)90041-0","volume":"8","author":"J. Hopcroft","year":"1979","unstructured":"J. Hopcroft, J. Pansiot. On the Reachability Problem for 5-Dimensional Vector Addition Systems, Theoretical Computer Science, 8, 135\u2013159, 1979.","journal-title":"Theoretical Computer Science"},{"key":"4_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1007\/3-540-45319-9_14","volume-title":"Proc. TACAS 2001","author":"T. Hune","year":"2001","unstructured":"T. Hune, J. Romijn, M. Stoekinga, F. Vaandrager. Linear Parametric Model Checking of Timed Automata, in Proc. TACAS 2001, Italy, April, 2001, LNCS 2031, pp. 189\u2013203."},{"key":"4_CR11","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/0304-3975(78)90036-1","volume":"6","author":"C. Rackoff","year":"1978","unstructured":"C. Rackoff. The Covering and Boundedness Problems for Vector Addition Systems, Theoretical Computer Science, 6, 223\u2013231, 1978.","journal-title":"Theoretical Computer Science"},{"key":"4_CR12","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/0022-0000(86)90006-1","volume":"32","author":"L. Rosier","year":"1986","unstructured":"L. Rosier, H. Yen. A Multiparameter Analysis of the Boundedness Problem for Vector Addition Systems, J. Comput. System Sci., 32, 105\u2013135, 1986.","journal-title":"J. Comput. System Sci."},{"key":"4_CR13","doi-asserted-by":"publisher","first-page":"643","DOI":"10.1007\/BF00289715","volume":"21","author":"R. Valk","year":"1985","unstructured":"R. Valk, M. Jantzen. The Residue of Vector Sets with Applications to Decidability in Petri Nets, Acta Informatica, 21, 643\u2013674, 1985.","journal-title":"Acta Informatica"},{"issue":"2","key":"4_CR14","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1006\/inco.1996.0086","volume":"130","author":"F. Wang","year":"1996","unstructured":"F. Wang. Parametric Timing Analysis for Real-Time Systems, Information and Computation, 130(2), 131\u2013150, 1996. Also in Proc. 10th IEEE LICS, 1995.","journal-title":"Information and Computation"},{"key":"4_CR15","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1023\/A:1008782501688","volume":"17","author":"F. Wang","year":"2000","unstructured":"F. Wang. Parametric Analysis of Computer Systems, Formal Methods in System Design, 17, 39\u201360, 2000.","journal-title":"Formal Methods in System Design"},{"key":"4_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"539","DOI":"10.1007\/BFb0000495","volume-title":"Proc. AMAST\u201997","author":"F. Wang","year":"1997","unstructured":"F. Wang, P.-A. Hsiung. Parametric Analysis of Computer Systems, Australia, Dec. 1997, in Proc. AMAST\u201997, LNCS 1349, pp. 539\u2013553."},{"key":"4_CR17","series-title":"Lect Notes Comput Sci","first-page":"299","volume-title":"Proc. SAS 2001","author":"F. Wang","year":"2001","unstructured":"F. Wang, H.-C. Yen. Parametric Optimization of Open Real-Time Systems, Paris, July 2001, in Proc. SAS 2001, LNCS 2126, pp. 299\u2013318."}],"container-title":["Lecture Notes in Computer Science","Implementation and Application of Automata"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45089-0_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,24]],"date-time":"2019-02-24T10:51:00Z","timestamp":1551005460000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45089-0_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540405610","9783540450894"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-45089-0_4","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}