{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:58:21Z","timestamp":1725494301243},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540755951"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75596-8_23","type":"book-chapter","created":{"date-parts":[[2007,11,3]],"date-time":"2007-11-03T14:03:37Z","timestamp":1194098617000},"page":"316-330","source":"Crossref","is-referenced-by-count":6,"title":["Latticed Simulation Relations and Games"],"prefix":"10.1007","author":[{"given":"Orna","family":"Kupferman","sequence":"first","affiliation":[]},{"given":"Yoad","family":"Lustig","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"23_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"260","DOI":"10.1007\/3-540-56496-9_21","volume-title":"CAV","author":"S. Bensalem","year":"1993","unstructured":"Bensalem, S., Bouajjani, A., Loiseaux, C., Sifakis, J.: Property preserving simulations. In: Probst, D.K., von Bochmann, G. (eds.) CAV 1992. LNCS, vol.\u00a0663, pp. 260\u2013273. Springer, Heidelberg (1993)"},{"key":"23_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1007\/3-540-48683-6_25","volume-title":"Computer Aided Verification","author":"G. Bruns","year":"1999","unstructured":"Bruns, G., Godefroid, P.: Model checking partial state spaces with 3-valued temporal logics. In: Halbwachs, N., Peled, D.A. (eds.) CAV 1999. LNCS, vol.\u00a01633, pp. 274\u2013287. Springer, Heidelberg (1999)"},{"key":"23_CR3","first-page":"409","volume-title":"Proc. 16th LICS","author":"G. Bruns","year":"2001","unstructured":"Bruns, G., Godefroid, P.: Temporal logic query checking. In: Proc. 16th LICS, pp. 409\u2013420. IEEE Computer Society Press, Los Alamitos (2001)"},{"key":"23_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1007\/978-3-540-27836-8_26","volume-title":"ICALP 2004","author":"Bruns","year":"2004","unstructured":"Bruns, Godefroid.: Model checking with multi-valued logics. In: D\u00edaz, J., Karhum\u00e4ki, J., Lepist\u00f6, A., Sannella, D. (eds.) ICALP 2004. LNCS, vol.\u00a03142, pp. 281\u2013293. Springer, Heidelberg (2004)"},{"key":"23_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"404","DOI":"10.1007\/3-540-45319-9_28","volume-title":"TACAS","author":"M. Chechik","year":"2001","unstructured":"Chechik, M., Devereux, B., Easterbrook, S.: Implementing a multi-valued symbolic model checker. In: Margaria, T., Yi, W. (eds.) TACAS 2001. LNCS, vol.\u00a02031, pp. 404\u2013419. Springer, Heidelberg (2001)"},{"key":"23_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1007\/3-540-45139-0_3","volume-title":"SPIN","author":"M. Chechik","year":"2001","unstructured":"Chechik, M., Devereux, B., Gurfinkel, A.: Model-checking infinite state-space systems with fine-grained abstractions using SPIN. In: Dwyer, M.B. (ed.) SPIN. LNCS, vol.\u00a02057, pp. 16\u201336. Springer, Heidelberg (2001)"},{"key":"23_CR7","doi-asserted-by":"crossref","unstructured":"Chechik, M., Easterbrook, S., Petrovykh, V.: Model checking over multi-valued logics. In: Formal Methods Europe (2001)","DOI":"10.1007\/3-540-45251-6_5"},{"key":"23_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"450","DOI":"10.1007\/10722167_34","volume-title":"CAV 2000","author":"W. Chan","year":"2000","unstructured":"Chan, W.: Temporal-logic queries. In: Emerson, E.A., Sistla, A.P. (eds.) CAV 2000. LNCS, vol.\u00a01855, pp. 450\u2013463. Springer, Heidelberg (2000)"},{"key":"23_CR9","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1145\/151646.151648","volume":"15","author":"R. Cleaveland","year":"1993","unstructured":"Cleaveland, R., Parrow, J., Steffen, B.: The concurrency workbench: A semantics-based tool for the verification of concurrent systems. ACM TOPLAS\u00a015, 36\u201372 (1993)","journal-title":"ACM TOPLAS"},{"issue":"2","key":"23_CR10","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1145\/244795.244800","volume":"19","author":"D. Dams","year":"1997","unstructured":"Dams, D., Gerth, R., Grumberg, O.: Abstract interpretation of reactive systems. ACM TOPLAS\u00a019(2), 253\u2013291 (1997)","journal-title":"ACM TOPLAS"},{"key":"23_CR11","first-page":"411","volume-title":"Proc. 23rd Int. Conf. on Software Engineering","author":"S. Easterbrook","year":"2001","unstructured":"Easterbrook, S., Chechik, M.: A framework for multi-valued reasoning over inconsistent viewpoints. In: Proc. 23rd Int. Conf. on Software Engineering, pp. 411\u2013420. IEEE Computer Society Press, Los Alamitos (2001)"},{"key":"23_CR12","doi-asserted-by":"crossref","first-page":"235","DOI":"10.3233\/FI-1991-153-404","volume":"XV","author":"M.C. Fitting","year":"1991","unstructured":"Fitting, M.C.: Many-valued modal logics. Fundamenta Informaticae\u00a0XV, 235\u2013254 (1991)","journal-title":"Fundamenta Informaticae"},{"key":"23_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1007\/3-540-45657-0_11","volume-title":"CAV 2002","author":"P. Godefroid","year":"2002","unstructured":"Godefroid, P., Jagadeesan, R.: Automatic abstraction using generalized model checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.\u00a02404, pp. 137\u2013150. Springer, Heidelberg (2002)"},{"issue":"3","key":"23_CR14","doi-asserted-by":"publisher","first-page":"843","DOI":"10.1145\/177492.177725","volume":"16","author":"O. Grumberg","year":"1994","unstructured":"Grumberg, O., Long, D.E.: Model checking and modular verification. ACM TOPLAS\u00a016(3), 843\u2013871 (1994)","journal-title":"ACM TOPLAS"},{"key":"23_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1007\/3-540-63166-6_10","volume-title":"CAV","author":"S. Graf","year":"1997","unstructured":"Graf, S., Saidi, H.: Construction of abstract state graphs with PVS. In: Grumberg, O. (ed.) CAV 1997. LNCS, vol.\u00a01254, pp. 72\u201383. Springer, Heidelberg (1997)"},{"key":"23_CR16","doi-asserted-by":"crossref","unstructured":"H\u00e4hnle, R.: Automated deduction in multiple-valued logics. International Series of Monographs on Computer Science\u00a010 (1994)","DOI":"10.1093\/oso\/9780198539896.001.0001"},{"key":"23_CR17","doi-asserted-by":"crossref","unstructured":"Henzinger, M.R., Henzinger, T.A., Kopke, P.W.: Computing simulations on finite and infinite graphs. In: Proc. 36th FOCS, pp. 453\u2013462 (1995)","DOI":"10.1109\/SFCS.1995.492576"},{"issue":"1","key":"23_CR18","first-page":"64","volume":"173","author":"T.A. Henzinger","year":"2002","unstructured":"Henzinger, T.A., Kupferman, O., Rajamani, S.: Fair simulation. I& C\u00a0173(1), 64\u201381 (2002)","journal-title":"I& C"},{"key":"23_CR19","first-page":"45","volume":"73","author":"A. Hussain","year":"2004","unstructured":"Hussain, A., Pradhan, S.: Consistent partial model checking. ENTCS\u00a073, 45\u201385 (2004)","journal-title":"ENTCS"},{"key":"23_CR20","unstructured":"IEEE. IEEE standard multivalue logic system for VHDL model interoperability (Std_logic_1164) (1993)"},{"key":"23_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1007\/978-3-540-69738-1_14","volume-title":"VMCAI","author":"O. Kupferman","year":"2007","unstructured":"Kupferman, O., Lustig, Y.: Lattice automata. In: Cook, B., Podelski, A. (eds.) VMCAI 2007. LNCS, vol.\u00a04349, pp. 199\u2013213. Springer, Heidelberg (2007)"},{"key":"23_CR22","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1016\/0304-3975(82)90125-6","volume":"27","author":"D. Kozen","year":"1983","unstructured":"Kozen, D.: Results on the propositional \u03bc-calculus. TCS\u00a027, 333\u2013354 (1983)","journal-title":"TCS"},{"key":"23_CR23","doi-asserted-by":"crossref","unstructured":"Larsen, K.G., Thomsen, G.B.: A modal process logic. In: Proc. 3rd LICS (1988)","DOI":"10.1109\/LICS.1988.5119"},{"key":"23_CR24","doi-asserted-by":"publisher","first-page":"363","DOI":"10.2307\/1971035","volume":"65","author":"D.A. Martin","year":"1975","unstructured":"Martin, D.A.: Borel determinacy. Annals of Mathematics\u00a065, 363\u2013371 (1975)","journal-title":"Annals of Mathematics"},{"key":"23_CR25","unstructured":"Milner, R.: An algebraic definition of simulation between programs. In: Proc. 2nd Int. Joint Conf. on Artificial Intelligence, pp. 481\u2013489. British Computer Society (1971)"},{"key":"23_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1007\/BFb0015727","volume-title":"ICALP","author":"A. Pnueli","year":"1985","unstructured":"Pnueli, A.: Linear and branching structures in the semantics and logics of reactive systems. In: Brauer, W. (ed.) ICALP. LNCS, vol.\u00a0194, pp. 15\u201332. Springer, Heidelberg (1985)"},{"key":"23_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"354","DOI":"10.1007\/11562948_27","volume-title":"ATVA","author":"S. Shoham","year":"2005","unstructured":"Shoham, S., Grumberg, O.: Multi-valued model checking games. In: Peled, D.A., Tsay, Y.K. (eds.) ATVA 2005. LNCS, vol.\u00a03707, pp. 354\u2013369. Springer, Heidelberg (2005)"},{"key":"23_CR28","doi-asserted-by":"crossref","unstructured":"Stockmeyer, L.J., Meyer, A.R.: Word problems requiring exponential time. In: Proc. 5th STOC, pp. 1\u20139 (1973)","DOI":"10.1145\/800125.804029"},{"key":"23_CR29","unstructured":"Sofronie-Stokkermans, V.: Automated theorem proving by resolution for finitely-valued logics based on distributive lattices with operations. Multiple-Valued Logics: An International Journal\u00a05(2) (2000)"}],"container-title":["Lecture Notes in Computer Science","Automated Technology for Verification and Analysis"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75596-8_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,18]],"date-time":"2024-02-18T20:50:28Z","timestamp":1708289428000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75596-8_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540755951"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75596-8_23","relation":{},"subject":[]}}