{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T11:29:10Z","timestamp":1742383750748},"reference-count":6,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/ismvl.2002.1011067","type":"proceedings-article","created":{"date-parts":[[2003,6,25]],"date-time":"2003-06-25T16:42:54Z","timestamp":1056559374000},"page":"35-38","source":"Crossref","is-referenced-by-count":1,"title":["A conjunctive canonical expansion of multiple-valued functions"],"prefix":"10.1109","author":[{"given":"E.","family":"Dubrova","sequence":"first","affiliation":[]},{"given":"P.","family":"Farm","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","article-title":"Verification of synchronous sequential machines based on symbolic execution","author":"coudert","year":"1989","journal-title":"Automatic Verification Methods for Finite State Systems International Workshop"},{"journal-title":"Multiple-Valued Switching Theory","year":"1986","author":"muzio","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-0817-5"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.1987.1270318"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1002\/j.1538-7305.1950.tb00463.x"},{"key":"ref1","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-61474-5_54","article-title":"A conjunctively decomposed boolean representation for symbolic model checking","author":"mcmillan","year":"1996","journal-title":"Computer Aided Verification 8th Int Conf (CAV'96)"}],"event":{"name":"32nd IEEE International Symposium on Multi-Valued Logic","acronym":"ISMVL-02","location":"Boston, MA, USA"},"container-title":["Proceedings 32nd IEEE International Symposium on Multiple- Valued Logic"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/7900\/21788\/01011067.pdf?arnumber=1011067","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,2,24]],"date-time":"2018-02-24T18:07:14Z","timestamp":1519495634000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1011067\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":6,"URL":"https:\/\/doi.org\/10.1109\/ismvl.2002.1011067","relation":{},"subject":[]}}