{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:49:01Z","timestamp":1725486541392},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540666523"},{"type":"electronic","value":"9783540480570"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48057-9_15","type":"book-chapter","created":{"date-parts":[[2007,6,23]],"date-time":"2007-06-23T11:05:18Z","timestamp":1182596718000},"page":"178-182","source":"Crossref","is-referenced-by-count":3,"title":["Automata and Binary Decision Diagrams"],"prefix":"10.1007","author":[{"given":"Jean-Francis","family":"Michon","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Marc","family":"Champarnaud","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[1999,9,17]]},"reference":[{"issue":"6","key":"15_CR1","doi-asserted-by":"publisher","first-page":"509","DOI":"10.1109\/TC.1978.1675141","volume":"C-27","author":"S. B. Akers","year":"1978","unstructured":"S. B. Akers, Binary Decision Diagrams, IEEE Transactions on Computers C-27(6) (1978) 509\u2013516.","journal-title":"IEEE Transactions on Computers"},{"issue":"8","key":"15_CR2","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"C-35","author":"R. E. Bryant","year":"1986","unstructured":"R. E. Bryant, Graph Based Algorithms for Boolean Functions Manipulation, IEEE Transactions on Computers C-35(8) (1986) 677\u2013691.","journal-title":"IEEE Transactions on Computers"},{"key":"15_CR3","unstructured":"R. E. Bryant, Binary Decision Diagrams and beyond, Survey Report, Carnegie Mellon University."},{"key":"15_CR4","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/0166-218X(89)90037-1","volume":"23","author":"J.-M. Champarnaud","year":"1989","unstructured":"J.-M. Champarnaud and J.-E. Pin, A Maxmin Problem on Finite Automata, Discrete Applied Mathematics 23 (1989) 91\u201396.","journal-title":"Discrete Applied Mathematics"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"S. J. Friedman, K. J. Supowit, Finding the Optimal Ordering for Binary Decision Diagram, IEEE Transactions on Computers 39(5) (1990).","DOI":"10.1109\/12.53586"},{"issue":"46","key":"15_CR6","doi-asserted-by":"publisher","first-page":"661","DOI":"10.1109\/12.144618","volume":"C-41","author":"H.-T. Liaw","year":"1992","unstructured":"H.-T. Liaw and C.-S. Lin, On the OBDD Representation of General Boolean Functions, IEEE Transactions on Computers C-41(46) (1992) 661\u2013664.","journal-title":"IEEE Transactions on Computers"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"A. Nerode, Linear Automata Transformation, Proc. AMS 9 (1958) 541\u2013544.","DOI":"10.1090\/S0002-9939-1958-0135681-9"},{"key":"15_CR8","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/0304-3975(92)90142-3","volume":"92","author":"D. Revuz","year":"1992","unstructured":"D. Revuz, Minimization of Acyclic Deterministic Automata in Linear Time, Theoret. Comput. Sci. 92 (1992) 181\u2013189.","journal-title":"Theoret. Comput. Sci"},{"key":"15_CR9","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1016\/0012-365X(95)90790-R","volume":"136","author":"I. Wegener","year":"1994","unstructured":"I. Wegener, Efficient Data Structure for Boolean Functions, Discrete Mathematics 136 (1994) 347\u2013372.","journal-title":"Discrete Mathematics"}],"container-title":["Lecture Notes in Computer Science","Automata Implementation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48057-9_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,29]],"date-time":"2019-04-29T09:21:09Z","timestamp":1556529669000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48057-9_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540666523","9783540480570"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-48057-9_15","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}