{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:23:22Z","timestamp":1725665002017},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540643593"},{"type":"electronic","value":"9783540697565"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-64359-1_771","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T23:38:03Z","timestamp":1330299483000},"page":"1057-1066","source":"Crossref","is-referenced-by-count":1,"title":["Automated verifications of communication protocols using CCS and BDDs"],"prefix":"10.1007","author":[{"given":"Reiner","family":"Lichtenecker","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Klaus","family":"Gotthardt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Janusz","family":"Zalewski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"108_CR1","unstructured":"R. Milner: \u201cCommunication and Concurrency\u201d, Prentice Hall International Series in Computer Science, ISBN 0-13-114984-9."},{"key":"108_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"R. Milner, J. Parrow, D. Walker: \u201cA calculus of mobile processes\u201d, in Information and Computing 100, 1992, pp. 1\u201377.","journal-title":"Information and Computing"},{"issue":"1","key":"108_CR3","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1145\/151646.151648","volume":"15","author":"R. Cleaveland","year":"1993","unstructured":"R. Cleaveland, J. Parrow, B. Steffen: \u201cThe concurrency workbench: A semanticsbased tool for the verification of concurrent systems\u201d, ACM Transactions on Programming Languages and Systems, 15(1):36\u201372, January 1993.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"108_CR4","unstructured":"B. Kr\u00e4mer, G. Henze et al.: \u201cDeriving ANSAware Applications from Formal Specifications\u201d, Proceedings of SDPS'95, 1995."},{"issue":"8","key":"108_CR5","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"C-35","author":"R. E. Bryant","year":"1986","unstructured":"Randal E. Bryant: \u201cGraph-based Algorithms for Boolean function manipulation\u201d, IEEE Trans. Computers, C-35(8): 677\u2013691, August 1986.","journal-title":"IEEE Trans. Computers"},{"key":"108_CR6","unstructured":"J.R. Burch, E.M. Clarke, K.L. McMillan, D.L. Dill, J. Hwang: \u201cSymbolic Model Checking: 102\u00b0 states and beyond\u201d. Technical Report, CMU, 1989."},{"key":"108_CR7","doi-asserted-by":"crossref","unstructured":"K. L. McMillan: \u201cSymbolic Model Checking: An approach to the State Explosion Problem.\u201d, PhD thesis, Carnegie Mellon Univeristy, 1992.","DOI":"10.1007\/978-1-4615-3190-6_3"},{"key":"108_CR8","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1007\/BF02242704","volume":"6","author":"R. Enders","year":"1993","unstructured":"R. Enders, T. Filkorn, D. Taubner: \u201cGenerating BDDs for symbolic model checking in CCS\u201d, in Distributed Computing, 1993, 6:155\u2013164.","journal-title":"Distributed Computing"},{"key":"108_CR9","volume-title":"Formale Verifikation von Vielfach-Zugriffsprotokollen in CCS","author":"K. Gotthardt","year":"1995","unstructured":"K. Gotthardt, I. Scheler: \u201cFormale Verifikation von Vielfach-Zugriffsprotokollen in CCS\u201d GI-Fachtagung Softwaretechnik, Braunschweig, 1995"}],"container-title":["Lecture Notes in Computer Science","Parallel and Distributed Processing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-64359-1_771.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:20:35Z","timestamp":1605648035000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-64359-1_771"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540643593","9783540697565"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-64359-1_771","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}