{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T12:46:43Z","timestamp":1725454003666},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540638889"},{"type":"electronic","value":"9783540696612"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0000495","type":"book-chapter","created":{"date-parts":[[2005,10,5]],"date-time":"2005-10-05T06:30:36Z","timestamp":1128493836000},"page":"539-553","source":"Crossref","is-referenced-by-count":3,"title":["Parametric analysis of computer systems"],"prefix":"10.1007","author":[{"given":"Farn","family":"Wang","sequence":"first","affiliation":[]},{"given":"Pao-Ann","family":"Hsiung","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,9,7]]},"reference":[{"issue":"Nr.1","key":"37_CR1","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1006\/inco.1993.1024","volume":"104","author":"R. Alur","year":"1993","unstructured":"Alur, R., Courcoubetis, C., and Dill, D.L. (1993), Model-Checking in Dense Real-Time, Information and Computation\n104, Nr. 1, pp. 2\u201334.","journal-title":"Information and Computation"},{"key":"37_CR2","first-page":"332","volume-title":"Lecture Notes in Computer Science, 443","author":"R. Alur","year":"1990","unstructured":"Alur, R. and Dill, D., (1990), Automata for modeling real-time systems, in \u201cAutomata, Languages and Programming: Proceedings of the 17th ICALP,\u201d Lecture Notes in Computer Science, 443, pp. 332\u2013335, Springer-Verlag, Berlin\/New York."},{"doi-asserted-by":"crossref","unstructured":"Alur, R. and Henzinger, T.A. (1990), Real-Time Logics: Complexity and Expressiveness, in \u201cProceedings, 5th IEEE LICS.\u201d","key":"37_CR3","DOI":"10.21236\/ADA323441"},{"doi-asserted-by":"crossref","unstructured":"Alur, R., Henzinger, T.A., and Vardi, M.Y. (1993), Parametric Real-Time Reasoning, in \u201cProceedings, 25th ACM STOC,\u201d pp. 592\u2013601.","key":"37_CR4","DOI":"10.1145\/167088.167242"},{"unstructured":"J.R. Burch, E.M. Clarke, K.L. McMillan, D.L.Dill, L.J. Hwang. Symbolic Model Checking: 1020 States and Beyond, IEEE LICS, 1990.","key":"37_CR5"},{"doi-asserted-by":"crossref","unstructured":"R.E. Bryant. Graph-based Algorithms for Boolean Function Manipulation, IEEE Trans. Comput., C-35(8), 1986.","key":"37_CR6","DOI":"10.1109\/TC.1986.1676819"},{"unstructured":"Clarke, E. and Emerson, E.A. (1981), Design and Synthesis of Synchronization Skeletons using Branching-Time Temporal Logic, in \u201cProceedings, Workshop on Logic of Programs,\u201d LNCS 131, Springer-Verlag.","key":"37_CR7"},{"issue":"Nr.2","key":"37_CR8","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E. Clarke","year":"1986","unstructured":"Clarke, E., Emerson, E.A., and Sistla, A.P., (1986) Automatic Verification of Finite-State Concurrent Systems using Temporal-Logic Specifications, ACM Trans. Programming, Languages, and Systems, 8, Nr. 2, pp. 244\u2013263.","journal-title":"ACM Trans. Programming, Languages, and Systems"},{"key":"37_CR9","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1007\/BF00709157","volume":"1","author":"C. Courcoubetis","year":"1992","unstructured":"Courcoubetis, C. and Yannakakis, M. (1992), Minimum and Maximum Delay Problems in Real-Time Systems. Formal Methods in System Design\n1:385\u2013415, Kluwer Academic Publishers; also in \u201cProceedings, 3rd CAV,\u201d 1991, Springer-Verlag, LNCS 575.","journal-title":"Formal Methods in System Design"},{"doi-asserted-by":"crossref","unstructured":"T.A. Henzinger, P.-H. Ho, and H. Wong-Toi. HyTech: the next generation. In proceedings of the 16th Annual Real-Time System Symposium, pages 56\u201365. IEEE Computer Society Press, 1995.","key":"37_CR10","DOI":"10.1109\/REAL.1995.495196"},{"doi-asserted-by":"crossref","unstructured":"T.A. Henzinger, X. Nicollin, J. Sifakis, S. Yovine. Symbolic Model Checking for Real-Time Systems, IEEE LICS 1992.","key":"37_CR11","DOI":"10.1109\/LICS.1992.185551"},{"doi-asserted-by":"crossref","unstructured":"Wang, F. (1996). Parametric Timing Analysis for Real-Time Systems. Information and Computation, Vol. 130, Nr 2, Nov. 1996, Academic Press, ISSN 0890-5401; pp 131\u2013150. Also in \u201cProceedings, 10th IEEE Symposium on Logic in Computer Science,\u201d 1995.","key":"37_CR12","DOI":"10.1006\/inco.1996.0086"}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0000495","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,3]],"date-time":"2019-02-03T15:26:02Z","timestamp":1549207562000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0000495"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540638889","9783540696612"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/bfb0000495","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}