{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T10:10:40Z","timestamp":1767262240201,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540631668"},{"type":"electronic","value":"9783540691952"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63166-6_34","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T23:14:14Z","timestamp":1330298054000},"page":"340-351","source":"Crossref","is-referenced-by-count":61,"title":["Partial-order reduction in symbolic state space exploration"],"prefix":"10.1007","author":[{"given":"R.","family":"Alur","sequence":"first","affiliation":[]},{"given":"R. K.","family":"Brayton","sequence":"additional","affiliation":[]},{"given":"T. A.","family":"Henzinger","sequence":"additional","affiliation":[]},{"given":"S.","family":"Qadeer","sequence":"additional","affiliation":[]},{"given":"S. K.","family":"Rajamani","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"J.R. Burch, E.M. Clarke, and D.E. Long. Symbolic Model Checking with Partitioned Transition Relations. In Proc. of the 28th Design Automation Conference, pages 403\u2013407,1991.","key":"34_CR1","DOI":"10.1145\/127601.127702"},{"key":"34_CR2","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1016\/0890-5401(92)90017-A","volume":"98","author":"J.R. Burch","year":"1992","unstructured":"J.R. Burch, E.M. Clarke, K.L. McMillan, and D.L. Dill. Symbolic Model Checking: 1020 States and Beyond. Information and Computation, 98:142\u2013170, 1992.","journal-title":"Information and Computation"},{"doi-asserted-by":"crossref","unstructured":"R.K.Brayton,G.D.Hachtel,A. Sangiovanni-Vincentelli, F. Somenzi, A. Aziz, S.-T. Cheng, S. Edwards, S. Khatri, Y. Kukimoto, A. Pardo, S. Qadeer, R.K. Ranjan, S. Sarwary, T.R. Shiple, G. Swamy, and T. Villa. VIS: A System for Verification and Synthesis. In Proc. of the 8th International Conference on Computer-Aided Verification, vol. 1102 of Lecture Notes in Computer Science, pages 428\u2013432. Springer, 1996.","key":"34_CR3","DOI":"10.1007\/3-540-61474-5_95"},{"doi-asserted-by":"crossref","unstructured":"C.-T. Chou and D.A. Peled. Formal Verification of a Partial-Order Reduction Technique for Model Checking. In Proc. of the Second International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, vol. 1055 of Lecture Notes in Computer Science, pages 241\u2013257. Springer, 1996.","key":"34_CR4","DOI":"10.1007\/3-540-61042-1_48"},{"doi-asserted-by":"crossref","unstructured":"D.L. Dill. Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits. MIT Press, 1989.","key":"34_CR5","DOI":"10.7551\/mitpress\/6874.001.0001"},{"key":"34_CR6","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1016\/0196-6774(82)90023-2","volume":"3","author":"D. Dolev","year":"1982","unstructured":"D. Dolev, M. Klawe, and M. Rodeh. An O(n log n) Unidirectional Distributed Algorithm for Extrema Finding in a Circle. Journal of Algorithms, 3:245\u2013260, 1982.","journal-title":"Journal of Algorithms"},{"doi-asserted-by":"crossref","unstructured":"P. Godefroid. Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem, vol. 1032 of Lecture Notes in Computer Science. Springer, 1996.","key":"34_CR7","DOI":"10.1007\/3-540-60761-7"},{"key":"34_CR8","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1006\/inco.1994.1035","volume":"110","author":"P. Godefroid","year":"1994","unstructured":"P. Godefroid and P. Wolper. A Partial Approach to Model Checking. Information and Computation, 110:305\u2013326, 1994.","journal-title":"Information and Computation"},{"doi-asserted-by":"crossref","unstructured":"G.J. Holzmann and D.A. Peled. An Improvement in Formal Verification. In Proc. of the 7th International Conference on Formal Description Techniques, pages 197\u2013211. Chapman & Hall, 1994.","key":"34_CR9","DOI":"10.1007\/978-0-387-34878-0_13"},{"doi-asserted-by":"crossref","unstructured":"A. Mazurkiewicz. Basic Notions of Trace Theory. In Workshop on Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency, vol. 354 of Lecture Notes in Computer Science, pages 285\u2013363. Springer, 1988.","key":"34_CR10","DOI":"10.1007\/BFb0013025"},{"doi-asserted-by":"crossref","unstructured":"K.L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.","key":"34_CR11","DOI":"10.1007\/978-1-4615-3190-6"},{"doi-asserted-by":"crossref","unstructured":"D.A. Peled. All from One, One for All: On Model Checking Using Representatives. In Proc. of the 5th International Conference on Computer-Aided Verification, vol. 697 of Lecture Notes in Computer Science, pages 409\u2013423. Springer, 1993.","key":"34_CR12","DOI":"10.1007\/3-540-56922-7_34"},{"unstructured":"R.K. Ranjan, A. Aziz, B. Plessier, C. Pixley, and R.K. Brayton. Efficient Formal Design Verification: Data Structures + Algorithms. In Workshop Notes of the International Workshop on Logic Synthesis, 1995.","key":"34_CR13"},{"doi-asserted-by":"crossref","unstructured":"A. Valmari. Stubborn Sets for Reduced State Space Generation. In Advances in Petri Nets, vol. 483 of Lecture Notes in Computer Science, pages 491\u2013515. Springer, 1991.","key":"34_CR14","DOI":"10.1007\/3-540-53863-1_36"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63166-6_34.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:38:59Z","timestamp":1742600339000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63166-6_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540631668","9783540691952"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-63166-6_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}