{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:00:20Z","timestamp":1725487220413},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540418658"},{"type":"electronic","value":"9783540453192"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45319-9_28","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T15:50:47Z","timestamp":1184601047000},"page":"404-419","source":"Crossref","is-referenced-by-count":10,"title":["Implementing a Multi-valued Symbolic Model Checker"],"prefix":"10.1007","author":[{"given":"Marsha","family":"Chechik","sequence":"first","affiliation":[]},{"given":"Benet","family":"Devereux","sequence":"additional","affiliation":[]},{"given":"Steve","family":"Easterbrook","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,3,23]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"N.D. Belnap. \u201cA Useful Four-Valued Logic\u201d. In Dunn and Epstein, editors, Modern Uses of Multiple-Valued Logic, pages 30\u201356. Reidel, 1977.","key":"28_CR1","DOI":"10.1007\/978-94-010-1161-7_2"},{"doi-asserted-by":"crossref","unstructured":"L. Bolc and P. Borowik. Many-Valued Logics. Springer-Verlag, 1992.","key":"28_CR2","DOI":"10.1007\/978-3-662-08494-6"},{"issue":"3","key":"28_CR3","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1145\/136035.136043","volume":"24","author":"R. E. Bryant","year":"1992","unstructured":"R. E. Bryant. \u201cSymbolic Boolean manipulation with ordered binary-decision diagrams\u201d. Computing Surveys, 24(3):293\u2013318, September 1992.","journal-title":"Computing Surveys"},{"issue":"1","key":"28_CR4","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/332740.332746","volume":"9","author":"T. Bultan","year":"2000","unstructured":"T. Bultan, R. Gerber, and C. League. \u201cComposite Model Checking: Verification with Type-Specific Symbolic Representations\u201d. ACM Trans. on Software Engineering and Methodology, 9(1):3\u201350, Jan 2000.","journal-title":"ACM Trans. on Software Engineering and Methodology"},{"doi-asserted-by":"crossref","unstructured":"M. Chechik, B. Devereux, S. Easterbrook, A. Lai, & V. Petrovykh. \u201cEfficient Multiple-Valued Model-Checking Using Lattice Representations\u201d. submitted for publ. Jan 2001.","key":"28_CR5","DOI":"10.1007\/3-540-44685-0_30"},{"doi-asserted-by":"crossref","unstructured":"M. Chechik, S. Easterbrook, and V. Petrovykh. \u201cModel-Checking Over Multi-Valued Logics\u201d. In Proc. FormalMethods Europe (FME\u201901), March 2001.","key":"28_CR6","DOI":"10.1007\/3-540-45251-6_5"},{"unstructured":"E. Clarke, O. Grumberg, and D. Peled. Model Checking. MIT Press, 1999.","key":"28_CR7"},{"unstructured":"E. M. Clarke, D. E. Long, and K. L. McMillan. \u201cCompositionalModel Checking\u201d. In Proc. 4th Ann. Symp. on Logic in Computer Science, pages 464\u2013475, June 1989.","key":"28_CR8"},{"unstructured":"S. Easterbrook and M. Chechik. \u201cA Framework for Multi-Valued Reasoning over Inconsistent Viewpoints\u201d. In Proc. 23rd Int. Conf. on Software Engineering (ICSE\u201901), May 2001.","key":"28_CR9"},{"issue":"3\u20134","key":"28_CR10","first-page":"335","volume":"15","author":"M. Fitting","year":"1991","unstructured":"M. Fitting. Many-Valued Modal Logics. Fundamenta Informaticae 15(3\u20134):335\u2013350, 1991.","journal-title":"Fundamenta Informaticae"},{"doi-asserted-by":"crossref","unstructured":"R. Freese, J. Je\u017eek, and J. B. Nation. Free Lattices. Amer. Math. Soc., Providence, 1995. Mathematical Surveys and Monographs, vol. 42.","key":"28_CR11","DOI":"10.1090\/surv\/042"},{"issue":"4","key":"28_CR12","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1016\/S0020-7373(79)80039-5","volume":"11","author":"B. R. Gaines","year":"1979","unstructured":"B. R. Gaines. \u201cLogical Foundations for Database Systems\u201d. Int. J. of Man-Machine Studies, 11(4):481\u2013500, 1979.","journal-title":"Int. J. of Man-Machine Studies"},{"unstructured":"M. Ginsberg. \u201cMulti-valued logic\u201d. In M. Ginsberg, editor, Readings in Nonmonotonic Reasoning, pages 251\u2013255.Morgan-Kaufmann, 1987.","key":"28_CR13"},{"doi-asserted-by":"crossref","unstructured":"R. H\u00e4hnle. Automated Deduction in Multiple-Valued Logics, volume 10 of International Series of Monographs on Computer Science. Oxford U. Press, 1994.","key":"28_CR14","DOI":"10.1093\/oso\/9780198539896.001.0001"},{"unstructured":"S. Hazelhurst. CompositionalModel Checking of Partially OrderedState Spaces. PhD thesis, Dept of Computer Science, U. of British Columbia, 1996.","key":"28_CR15"},{"unstructured":"J. ?ukasiewicz. Selected Works. North-Holland, Amsterdam, Holland, 1970.","key":"28_CR16"},{"doi-asserted-by":"crossref","unstructured":"R. S. Michalski. \u201cVariable-Valued Logic and its Applications to Pattern Recognition and Machine Learning\u201d. In D. C. Rine, editor, Computer Science and Multiple-Valued Logic: Theory and Applications, pages 506\u2013534.North-Holland, Amsterdam, 1977.","key":"28_CR17","DOI":"10.1016\/B978-0-7204-0406-7.50022-3"},{"unstructured":"H. Rasiowa. An Algebraic Approach to Non-Classical Logics. Studies in Logic and the Foundations of Mathematics. Amsterdam: North-Holland, 1978.","key":"28_CR18"},{"unstructured":"V. Sofronie-Stokkermans. Automated theorem proving by resolution for finitely-valued logics based on distributive lattices with operators. Multiple-Valued Logic: An International Journal 5(2), 2000.","key":"28_CR19"},{"unstructured":"F. Somenzi. \u201cBinary Decision Diagrams\u201d. In Manfred Broy and Ralf Steinbr\u00fcggen, editors, Calculational System Design, vol 173 of NATO Science Series F: Computer and Systems Sciences, pp 303\u2013366. IOS Press, 1999.","key":"28_CR20"},{"unstructured":"A. Srinivasan, T. Kam, S. Malik, and R.E. Brayton. \u201cAlgorithms for Discrete Function Manipulation\u201d. In IEEE Int. Conf. on Computer-Aided Design, pages 92\u201395, 1990.","key":"28_CR21"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45319-9_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,16]],"date-time":"2024-02-16T18:35:49Z","timestamp":1708108549000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45319-9_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540418658","9783540453192"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-45319-9_28","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}
