{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:09:27Z","timestamp":1725664167821},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540600459"},{"type":"electronic","value":"9783540494133"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60045-0_47","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:36:13Z","timestamp":1330277773000},"page":"142-154","source":"Crossref","is-referenced-by-count":10,"title":["Efficient checking of behavioural relations and modal assertions using fixed-point inversion"],"prefix":"10.1007","author":[{"given":"Henrik Reif","family":"Andersen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bart","family":"Vergauwen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"13_CR1","unstructured":"Alfred V. Aho, John E. Hopcroft, and Jeffrey D. Ullman. The Design and Analysis of Computer Algorithms. Addison-Wesley, 1974."},{"key":"13_CR2","first-page":"PB","volume-title":"PhD thesis","author":"H. R. Andersen","year":"1993","unstructured":"Henrik R. Andersen. Verification of Temporal Properties of Concurrent Systems. PhD thesis, Department of Computer Science, Aarhus University, Denmark, June 1993. PB\u2013445."},{"issue":"1","key":"13_CR3","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(94)90266-6","volume":"126","author":"H. R. Andersen","year":"1994","unstructured":"Henrik R. Andersen. Model checking and boolean graphs. Theoretical Computer Science, 126(1):3\u201330, April 1994.","journal-title":"Theoretical Computer Science"},{"key":"13_CR4","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, Fifth Annual IEEE Symposium on Logic in Computer Science, pages 428\u2013439. IEEE Computer Society Press, 1990.","DOI":"10.1109\/LICS.1990.113767"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Bard Bloom and Robert Paige. Computing ready simulations efficiently. 1992.","DOI":"10.1007\/978-1-4471-3217-2_8"},{"issue":"3","key":"13_CR6","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1145\/136035.136043","volume":"24","author":"R. E. Bryant","year":"1992","unstructured":"Randal E. Bryant. Symbolic Boolean manipulation with ordered binary-decision diagrams. Computing Surveys, 24(3):293\u2013318, September 1992.","journal-title":"Computing Surveys"},{"key":"13_CR7","first-page":"383","volume-title":"volume 663 of LNCS","author":"R. Cleaveland","year":"1992","unstructured":"Ranee Cleaveland, Marion Dreim\u00fcller, and Bernhard Steffen. Faster model checking for the modal mu-calculus. In G. v. Bochmann and D. K. Probst, editors, Proceedings of the 4th Workshop on Computer Aided Verification, CAV'92, June 29\u2013July 1, 1992, Montreal, Quebec, Canada, volume 663 of LNCS, pages 383\u2013394. Springer-Verlag, 1992."},{"issue":"2","key":"13_CR8","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E.M. Clarke","year":"1986","unstructured":"E.M. Clarke, E.A. Emerson, and A.P. Sistla. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems, 8(2):244\u2013263, 1986.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"E.A. Emerson, C.S. Jutla, and A.P. Sistla. On model-checking for fragments of \u03bc-calculus. In Costas Courcoubetis, editor, Proceedings of the 5th International Conference on Computer Aided Verification, CAV'93, volume 697 of LNCS, pages 385\u2013396. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-56922-7_32"},{"key":"13_CR10","series-title":"volume 271 of Informatik Fachberichte","first-page":"208","volume-title":"VIS '91 Verl\u00e4ssliche Informationssysteme","author":"K. Estenfeld","year":"1991","unstructured":"Klaus Estenfeld, Hans-Albert Schneider, Dirk Taubner, and Erik Tid\u00e9n. Computer aided verification of parallel processes. In A. Pfitzmann and E. Raubold, editors, VIS '91 Verl\u00e4ssliche Informationssysteme, volume 271 of Informatik Fachberichte, pages 208\u2013226, Darmstadt, 1991. Springer-Verlag."},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"J.F. Groote and F. Vaandrager. An efficient algorithm for branching bisimulation and stuttering equivalence. In M.S. Paterson, editor, Proceedings of ICALP, volume 443 of LNCS. Springer-Verlag, 1990.","DOI":"10.1007\/BFb0032063"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Dexter Kozen. Results on the propositional mu-calculus. Theoretical Computer Science, 27, 1983.","DOI":"10.1016\/0304-3975(82)90125-6"},{"key":"13_CR13","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/0890-5401(90)90025-D","volume":"86","author":"P.C. Kanellakis","year":"1990","unstructured":"P.C. Kanellakis and S.A. Smolka. CCS expressions, finite state processes, and three problems of equivalence. Information and Computation, 86:43\u201368, 1990.","journal-title":"Information and Computation"},{"key":"13_CR14","unstructured":"Robin Milner. Communication and Concurrency. Prentice Hall, 1989."},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"R. Tarjan. Depth-first search and linear graph algorithms. SIAM J. Comput., 2(1), June 1972.","DOI":"10.1137\/0201010"},{"key":"13_CR16","first-page":"322","volume-title":"volume 581 of LNCS","author":"B. Vergauwen","year":"1992","unstructured":"Bart Vergauwen and Johan Lewi. A linear algorithm for solving fixed-point equations on transition systems. In J.-C. Raoult, editor, Proceedings of 17'th Colloquium on Trees in Algebra and Programming, CAAP'92, Rennes, France, volume 581 of LNCS, pages 322\u2013341. Springer-Verlag, 1992."}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60045-0_47.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:28:52Z","timestamp":1605648532000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60045-0_47"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540600459","9783540494133"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-60045-0_47","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}