{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T03:25:36Z","timestamp":1778297136288,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540551799","type":"print"},{"value":"9783540467632","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55179-4_20","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T09:51:00Z","timestamp":1330249860000},"page":"203-213","source":"Crossref","is-referenced-by-count":18,"title":["Generating BDDs for symbolic model checking in CCS"],"prefix":"10.1007","author":[{"given":"Reinhard","family":"Enders","sequence":"first","affiliation":[]},{"given":"Thomas","family":"Filkorn","sequence":"additional","affiliation":[]},{"given":"Dirk","family":"Taubner","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"issue":"8","key":"20_CR1","doi-asserted-by":"crossref","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 function manipulation. IEEE Transactions on Computers, C-35(8):677\u2013691, 1986.","journal-title":"IEEE Transactions on Computers"},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"J. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill, and L. J. Hwang. Symbolic model checking: 1020 states and beyond. In Proceedings of the 5th IEEE Symposium on Logic in Computer Science, Philadelphia, pages 428\u2013439, 1990.","DOI":"10.1109\/LICS.1990.113767"},{"key":"20_CR3","series-title":"volume 407 of Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1007\/3-540-52148-8_3","volume-title":"Automatic Verification Methods for Finite State Systems. Proceedings, Grenoble, 1989","author":"R. Cleaveland","year":"1990","unstructured":"R. Cleaveland, J. Parrow, and B. Steffen. The concurrency workbench. In J. Sifakis, editor, Automatic Verification Methods for Finite State Systems. Proceedings, Grenoble, 1989, volume 407 of Lecture Notes in Computer Science, pages 24\u201337, Berlin et al., 1990. Springer."},{"key":"20_CR4","volume-title":"Abord auto. Rapports Techniques 111","author":"R. Simone de","year":"1989","unstructured":"R. de Simone and D. Vergamini. Abord auto. Rapports Techniques 111, INRIA, Sophia Antipolis, 1989."},{"key":"20_CR5","unstructured":"E. A. Emerson and C.-L. Lei. Efficient model checking in fragments of the propositional mucalculus. In Proc. of the First Annual Symp. on Logic in Computer Science, pages 267\u2013278. Computer Society Press, 1986."},{"key":"20_CR6","first-page":"208","volume-title":"VIS '91 Verl\u00e4\u0392liche Informationssysteme. Proceedings, Darmstadt 1991, volume 271 of Informatik Fachberichte","author":"K. Estenfeld","year":"1991","unstructured":"K. Estenfeld, H.-A. Schneider, D. Taubner, and E. Tid\u00e9n. Computer aided verification of parallel processes. In A. Pfitzmann and E. Raubold, editors, VIS '91 Verl\u00e4\u0392liche Informationssysteme. Proceedings, Darmstadt 1991, volume 271 of Informatik Fachberichte, pages 208\u2013226, Berlin, 1991. Springer."},{"key":"20_CR7","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1016\/0167-6423(90)90071-K","volume":"13","author":"J.-C. Fernandez","year":"1989\/90","unstructured":"J.-C. Fernandez. An implementation of an efficient algorithm for bisimulation equivalence. Science of Computer Programming, 13:219\u2013236, 1989\/90.","journal-title":"Science of Computer Programming"},{"key":"20_CR8","unstructured":"T. Filkorn. Unifikation in endlichen Algebren und ihre Integration in Prolog, Master's Thesis, Techn. Universit\u00e4t M\u00fcnchen, 1988."},{"key":"20_CR9","series-title":"Lecture Notes in Computer Science","volume-title":"ICALP '90","author":"J. F. Groote","year":"1990","unstructured":"J. F. Groote and F. Vaandrager. An efficient algorithm for branching bisimulation and stuttering equivalence. In ICALP '90, Lecture Notes in Computer Science, Berlin, 1990. Springer."},{"key":"20_CR10","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"R. Milner. Communication and Concurrency. Prentice Hall, New York, 1989."},{"key":"20_CR11","series-title":"volume 351 of Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1007\/3-540-50939-9_144","volume-title":"TAPSOFT '89. Volume 1., Proceedings, Barcelona 1989","author":"C. Stirling","year":"1989","unstructured":"C. Stirling and D. Walker. Local model checking in the modal mu-calculus. In J. D\u00e4az and F. Orejas, editors, TAPSOFT '89. Volume 1., Proceedings, Barcelona 1989, volume 351 of Lecture Notes in Computer Science, pages 369\u2013383, Berlin, 1989. Springer."},{"key":"20_CR12","volume-title":"volume 369 of Lecture Notes in Computer Science","author":"D. Taubner","year":"1989","unstructured":"D. Taubner. Finite Representations of CCS and TCSP Programs by Automata and Petri Nets, volume 369 of Lecture Notes in Computer Science. Springer, Berlin, 1989."}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55179-4_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:30:54Z","timestamp":1742592654000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55179-4_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540551799","9783540467632"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-55179-4_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992]]}}}