{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:03:55Z","timestamp":1725559435966},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540273264"},{"type":"electronic","value":"9783540318880"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11518655_54","type":"book-chapter","created":{"date-parts":[[2010,7,15]],"date-time":"2010-07-15T14:45:39Z","timestamp":1279205139000},"page":"638-649","source":"Crossref","is-referenced-by-count":1,"title":["Multi-valued Model Checking in Dense-Time"],"prefix":"10.1007","author":[{"given":"Ana Fern\u00e1ndez","family":"Vilas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9 J. Pazos","family":"Arias","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. Bel\u00e9n Barrag\u00e1ns","family":"Mart\u00ednez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mart\u00edn L\u00f3pez","family":"Nores","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rebeca P. D\u00edaz","family":"Redondo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto Gil","family":"Solla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jorge Garc\u00eda","family":"Duque","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel Ramos","family":"Cabrer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"54_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/990010.990011","volume":"12","author":"M. Chechik","year":"2003","unstructured":"Chechik, M., Devereux, B., Gurfinkel, A., Easterbrook, S.: Multi-Valued Symbolic Model-Checking. ACM Transactions on Software Engineering and Methodology\u00a012(4), 1\u201338 (2003)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"issue":"1","key":"54_CR2","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1006\/inco.1993.1024","volume":"104","author":"R. Alur","year":"1993","unstructured":"Alur, R., Courcoubetis, C., Dill, D.: Model Checking in Dense Real-time. Information and Computation\u00a0104(1), 2\u201334 (1993)","journal-title":"Information and Computation"},{"key":"54_CR3","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1007\/978-3-7908-1769-0_8","volume-title":"Beyond Two: Theory and Applications of Multiple-valued Logic","author":"B. Konikowska","year":"2003","unstructured":"Konikowska, B., Penczek, W.: Model Checking for Multi-Valued CTL*. In: Beyond Two: Theory and Applications of Multiple-valued Logic, pp. 193\u2013210. Springer, Heidelberg (2003)"},{"key":"54_CR4","unstructured":"Alur, R.: Techniques for Automatic Verification of Real-Time Systems. PhD thesis, Department of Computer Science, Stanford University (1991)"},{"issue":"1","key":"54_CR5","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1145\/174644.174651","volume":"41","author":"R. Alur","year":"1994","unstructured":"Alur, R., Henzinger, T.: A Really Temporal Logic. Journal of the ACM\u00a041(1), 181\u2013204 (1994)","journal-title":"Journal of the ACM"},{"issue":"2","key":"54_CR6","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1006\/inco.1994.1045","volume":"111","author":"T.A. Henzinger","year":"1994","unstructured":"Henzinger, T.A., Nicollin, X., Sifakis, J., Yovine, S.: Symbolic Model-checking for Real Time Systems. Information and Computation\u00a0111(2), 193\u2013244 (1994)","journal-title":"Information and Computation"},{"issue":"1","key":"54_CR7","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1023\/A:1008734703554","volume":"18","author":"S. Tripakis","year":"2001","unstructured":"Tripakis, S., Yovine, S.: Analysis of Timed Systems using Time-abstracting Bisimulations. Formal Methods in System Design\u00a018(1), 25\u201368 (2001)","journal-title":"Formal Methods in System Design"},{"issue":"2","key":"54_CR8","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1023\/A:1008621829508","volume":"11","author":"M. Yannakakis","year":"1997","unstructured":"Yannakakis, M., Lee, D.: An Efficient Algorithm for Minimizing Real-Time Transition Systems. Formal Methods in System Design\u00a011(2), 113\u2013136 (1997)","journal-title":"Formal Methods in System Design"},{"key":"54_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"505","DOI":"10.1007\/3-540-45657-0_41","volume-title":"Computer Aided Verification","author":"M. Chechik","year":"2002","unstructured":"Chechik, M., Gurfinkel, A., Devereux, B.: XChek: A Multi-Valued Model-Checker. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.\u00a02404, pp. 505\u2013509. Springer, Heidelberg (2002)"},{"key":"54_CR10","first-page":"169","volume-title":"Many-Valued logics 2. Automated Reasoning and Practical Applications, ch. 7","author":"L. Bolc","year":"2003","unstructured":"Bolc, L., Borowik, P.: Many-Valued logics 2. Automated Reasoning and Practical Applications, ch. 7, pp. 169\u2013198. Springer, Heidelberg (2003)"},{"key":"54_CR11","doi-asserted-by":"crossref","unstructured":"Konikowska, B., Penczek, W.: Reducing Model Checking from Multi-Valued CTL \u2009\u2217\u2009 to CTL\u2009\u2217\u2009. In: Brim, L., Jan\u010dar, P., K\u0159et\u00ednsk\u00fd, M., Kucera, A. (eds.) CONCUR 2002. LNCS, vol.\u00a02421, pp. 226\u2013239. Springer, Heidelberg (2002)","DOI":"10.1007\/3-540-45694-5_16"},{"key":"54_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/978-3-540-45187-7_18","volume-title":"CONCUR 2003 - Concurrency Theory","author":"A. Gurfinkel","year":"2003","unstructured":"Gurfinkel, A., Chechik, M.: Multi-valued model checking via classical model checking. In: Amadio, R.M., Lugiez, D. (eds.) CONCUR 2003. LNCS, vol.\u00a02761, pp. 266\u2013280. Springer, Heidelberg (2003)"},{"key":"54_CR13","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/PL00003939","volume":"13","author":"J.J. Pazos Arias","year":"2001","unstructured":"Pazos Arias, J.J., Duque, J.G.: SCTL-MUS: A Formal Methodology for Software Development of Distributed Systems. A Case Study. Formal Aspects of Computing\u00a013, 50\u201391 (2001)","journal-title":"Formal Aspects of Computing"},{"key":"54_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/3-540-45739-9_13","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"A.F. Vilas","year":"2002","unstructured":"Vilas, A.F., Pazos Arias, J.J., D\u00edaz Redondo, R.P.: Extending timed automaton and real-time logic to many-valued reasoning. In: Damm, W., Olderog, E.-R. (eds.) FTRTFT 2002. LNCS, vol.\u00a02469, pp. 185\u2013204. Springer, Heidelberg (2002)"},{"issue":"1-2","key":"54_CR15","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/S0164-1212(03)00067-0","volume":"70","author":"A.F. Vilas","year":"2004","unstructured":"Vilas, A.F., Pazos Arias, J.J., Solla, A.G., Redondo, R.P.D., Duque, J.G., Bel\u00e9n Barrag\u00e1ns Mart\u00ednez, A.: Incremental Specification with SCTL\/MUS-T: a Case Study. The Journal of Systems & Software\u00a070(1-2), 189\u2013208 (2004)","journal-title":"The Journal of Systems & Software"},{"key":"54_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"382","DOI":"10.1007\/978-3-540-24756-2_21","volume-title":"Integrated Formal Methods","author":"A.F. Vilas","year":"2004","unstructured":"Vilas, A.F., Pazos Arias, J.J., Redondo, R.P.D., Solla, A.G., Duque, J.G.: A many-valued logic with imperative semantics for incremental specification of timed models. In: Boiten, E.A., Derrick, J., Smith, G.P. (eds.) IFM 2004. LNCS, vol.\u00a02999, pp. 382\u2013401. Springer, Heidelberg (2004)"}],"container-title":["Lecture Notes in Computer Science","Symbolic and Quantitative Approaches to Reasoning with Uncertainty"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11518655_54.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:05:27Z","timestamp":1605643527000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11518655_54"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540273264","9783540318880"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/11518655_54","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}