{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T13:28:38Z","timestamp":1725888518474},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319602240"},{"type":"electronic","value":"9783319602257"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-60225-7_15","type":"book-chapter","created":{"date-parts":[[2017,5,26]],"date-time":"2017-05-26T22:26:37Z","timestamp":1495837597000},"page":"210-224","source":"Crossref","is-referenced-by-count":1,"title":["Creating B\u00fcchi Automata for Multi-valued Model Checking"],"prefix":"10.1007","author":[{"given":"Stefan J. J.","family":"Vijzelaar","sequence":"first","affiliation":[]},{"given":"Wan J.","family":"Fokkink","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,5,28]]},"reference":[{"issue":"5","key":"15_CR1","doi-asserted-by":"crossref","first-page":"1355","DOI":"10.1587\/transinf.E95.D.1355","volume":"95\u2013D","author":"JO Andrade","year":"2012","unstructured":"Andrade, J.O., Kameyama, Y.: Efficient multi-valued bounded model checking for LTL over quasi-Boolean algebras. IEICE Trans. 95\u2013D(5), 1355\u20131364 (2012)","journal-title":"IEICE Trans."},{"key":"15_CR2","unstructured":"Augustijn, R.: Multivalued logics and hyper transitions in SpinJa. Master\u2019s thesis. Vrije Universiteit Amsterdam (2015)"},{"key":"15_CR3","volume-title":"Principles of Model Checking","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)"},{"key":"15_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/978-3-540-27836-8_26","volume-title":"Automata, Languages and Programming","author":"G Bruns","year":"2004","unstructured":"Bruns, G., Godefroid, P.: Model checking with multi-valued logics. In: D\u00edaz, J., Karhum\u00e4ki, J., Lepist\u00f6, A., Sannella, D. (eds.) ICALP 2004. LNCS, vol. 3142, pp. 281\u2013293. Springer, Heidelberg (2004). doi:\n10.1007\/978-3-540-27836-8_26"},{"key":"15_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/3-540-45139-0_3","volume-title":"Model Checking Software","author":"M Chechik","year":"2001","unstructured":"Chechik, M., Devereux, B., Gurfinkel, A.: Model-checking in finite state-space systems with fine-grained abstractions using SPIN. In: Dwyer, M. (ed.) SPIN 2001. LNCS, vol. 2057, pp. 16\u201336. Springer, Heidelberg (2001). doi:\n10.1007\/3-540-45139-0_3"},{"key":"15_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/978-3-642-16164-3_9","volume-title":"Model Checking Software","author":"M Jonge de","year":"2010","unstructured":"de Jonge, M., Ruys, T.C.: The SpinJa model checker. In: Pol, J., Weber, M. (eds.) SPIN 2010. LNCS, vol. 6349, pp. 124\u2013128. Springer, Heidelberg (2010). doi:\n10.1007\/978-3-642-16164-3_9"},{"key":"15_CR7","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1007\/BF00274066","volume":"18","author":"M Fitting","year":"1989","unstructured":"Fitting, M.: Bilattices and the theory of truth. J. Philos. Logic 18, 225\u2013256 (1989)","journal-title":"J. Philos. Logic"},{"key":"15_CR8","series-title":"IFIP","first-page":"3","volume-title":"Protocol Specification, Testing and Verification XV","author":"R Gerth","year":"1995","unstructured":"Gerth, R., Peled, D.A., Vardi, M.Y., Wolper, P.: Simple on-the-fly automatic verification of linear temporal logic. In: Dembi\u0144ski, P., \u015aredniawa, M. (eds.) PSTV. IFIP, vol. 38, pp. 3\u201318. Springer, Heidelberg (1995). Chapman & Hall"},{"key":"15_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/978-3-540-69738-1_14","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"O Kupferman","year":"2007","unstructured":"Kupferman, O., Lustig, Y.: Lattice automata. In: Cook, B., Podelski, A. (eds.) VMCAI 2007. LNCS, vol. 4349, pp. 199\u2013213. Springer, Heidelberg (2007). doi:\n10.1007\/978-3-540-69738-1_14"},{"key":"15_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/978-3-642-04761-9_21","volume-title":"Automated Technology for Verification and Analysis","author":"Y Meller","year":"2009","unstructured":"Meller, Y., Grumberg, O., Shoham, S.: A Framework for compositional verification of multi-valued systems via abstraction-refinement. In: Liu, Z., Ravn, A.P. (eds.) ATVA 2009. LNCS, vol. 5799, pp. 271\u2013288. Springer, Heidelberg (2009). doi:\n10.1007\/978-3-642-04761-9_21"},{"issue":"2","key":"15_CR11","first-page":"42:1","volume":"16","author":"SJJ Vijzelaar","year":"2017","unstructured":"Vijzelaar, S.J.J., Fokkink, W.J.: Multi-valued simulation and abstraction using lattice operations. ACM Trans. Embedded Comput. Syst. 16(2), 42:1\u201342:26 (2017)","journal-title":"ACM Trans. Embedded Comput. Syst."},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Vijzelaar, S.J.J., Verstoep, C., Fokkink, W.J., Bal, H.E.: Distributed MAP in the SpinJa model checker. In: PDMC, EPTCS, vol. 72, pp. 84\u201390 (2011)","DOI":"10.4204\/EPTCS.72.9"},{"key":"15_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1007\/978-3-662-46823-4_29","volume-title":"Perspectives of System Informatics","author":"SJJ Vijzelaar","year":"2015","unstructured":"Vijzelaar, S.J.J., Verstoep, C., Fokkink, W.J., Bal, H.E.: Bonsai: cutting models down to size. In: Voronkov, A., Virbitskaite, I. (eds.) PSI 2014. LNCS, vol. 8974, pp. 361\u2013375. Springer, Heidelberg (2015). doi:\n10.1007\/978-3-662-46823-4_29"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Distributed Objects, Components, and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-60225-7_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,5,26]],"date-time":"2017-05-26T22:31:43Z","timestamp":1495837903000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-60225-7_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319602240","9783319602257"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-60225-7_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}