{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,24]],"date-time":"2025-05-24T07:26:40Z","timestamp":1748071600448},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540627906"},{"type":"electronic","value":"9783540685197"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0035378","type":"book-chapter","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T10:28:40Z","timestamp":1138184920000},"page":"19-34","source":"Crossref","is-referenced-by-count":28,"title":["Combining partial order and symmetry reductions"],"prefix":"10.1007","author":[{"given":"E. Allen","family":"Emerson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Somesh","family":"Jha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Doron","family":"Peled","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,26]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/0304-3975(88)90098-9","volume":"59","author":"M.C. Browne","year":"1988","unstructured":"M.C. Browne, E.M. Clarke, and O. Grumberg. Characterizing finite kripke structures in propositional temporal logic. Theoretical Computer Science, 59:115\u2013131, 1988.","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"3_CR2","doi-asserted-by":"crossref","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, April 1986.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"E.M. Clarke, T.Filkorn, and S.Jha. Exploiting symmetry in temporal logic model checking. In Courcoubetis [4].","DOI":"10.1007\/3-540-56922-7_37"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"C. Courcoubetis, editor. Proceedings of the Fifth Workshop on Computer-Aided Verification, volume 697 of Lecture Notes in Computer Science. Springer-Verlag, June 1993.","DOI":"10.1007\/3-540-56922-7"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"E. Allen Emerson and A. Prasad Sistla. Symmetry and model checking. In Courcoubetis [4].","DOI":"10.1007\/3-540-56922-7_38"},{"key":"3_CR6","first-page":"130","volume-title":"A partial order approach to branching time logic model checking","author":"R. Gerth","year":"1995","unstructured":"Rob Gerth, Ruurd Kuiper, Doron Peled, and Wojciech Penczek. A partial order approach to branching time logic model checking. In Third Israel Symposium on Theory on Computing and Systems, pages 130\u2013139, Tel Aviv, Israel, 1995. IEEE."},{"key":"3_CR7","unstructured":"P. Godefroid. Using partial orders to improve automatic verification methods. In Kurshan and Clarke [10]."},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"P. Huber, A.M. Jensen, L.O. Jepsen, and K. Jensen. Towards reachability trees for high-level petri nets. In G. Rozenberg, editor, Advances on Petri Nets, pages 215\u2013233, 1984.","DOI":"10.1007\/3-540-15204-0_13"},{"key":"3_CR9","unstructured":"C.W. Ip and D. Dill. Better verification through symmetry. In L. Claesen, editor, Proceedings of the Eleventh International Symposium on Computer Hardware Description Languages and their Applications. North-Holland, April 1993."},{"key":"3_CR10","unstructured":"R. P. Kurshan and E. M. Clarke, editors. Proceedings of the 1990 Workshop on Computer-Aided Verification. Springer-Verlag, June 1990."},{"key":"3_CR11","first-page":"409","volume-title":"number 697 in LNCS","author":"D. Peled","year":"1993","unstructured":"Doron Peled. All from one, one from all: on model checking using representatives. In 5th International Conference on Computer Aided Verification, Greece, number 697 in LNCS, pages 409\u2013423, Elounda Crete, Greece, 1993. Springer-Verlag."},{"key":"3_CR12","volume-title":"Partial Orders Methods in Verification","author":"D. Peled","year":"1996","unstructured":"Doron Peled. Partial order reduction: Linear and branching temporal logics and process algebras. In Partial Orders Methods in Verification, DIMACS, Princeton, NJ, USA, 1996. American Mathematical Society."},{"issue":"4\/5","key":"3_CR13","first-page":"293","volume":"8","author":"P.H. Starke","year":"1991","unstructured":"P.H. Starke. Reachability analysis of petri nets using symmetries. Syst. Anal. Model. Simul., 8(4\/5):293\u2013303, 1991.","journal-title":"Syst. Anal. Model. Simul."},{"key":"3_CR14","unstructured":"A. Valmari. Stubborn sets for reduced state space generation. In Proceedings of the Tenth International Conference on Application and Theory of Petri Nets, 1989."},{"key":"3_CR15","unstructured":"A. Valmari. A stubborn attack on the state explosion problem. In Kurshan and Clarke [10]."},{"key":"3_CR16","unstructured":"A. Valmari. Stubborn sets of colored petri nets. In Proceedings of the 12th International Conference on Application and Theory of Petri Nets, pages 102\u2013121, Gjern, Denmark, 1991."}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0035378","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,16]],"date-time":"2019-04-16T10:40:37Z","timestamp":1555411237000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0035378"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540627906","9783540685197"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/bfb0035378","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}