{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T07:51:17Z","timestamp":1742975477267,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540551799"},{"type":"electronic","value":"9783540467632"}],"license":[{"start":{"date-parts":[[1992,1,1]],"date-time":"1992-01-01T00:00:00Z","timestamp":694224000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55179-4_33","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T09:51:38Z","timestamp":1330249898000},"page":"343-353","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Complexity results for POMSET languages"],"prefix":"10.1007","author":[{"given":"Joan","family":"Feigenbaum","sequence":"first","affiliation":[]},{"given":"Jeremy A.","family":"Kahn","sequence":"additional","affiliation":[]},{"given":"Carsten","family":"Lund","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"33_CR1","first-page":"19","volume":"III","author":"S. Aggarwal","year":"1983","unstructured":"S. Aggarwal, R. P. Kurshan, and K. K. Sabnani. Protocol Specification, Testing and Verification III (1983), 19\u201334.","journal-title":"Protocol Specification, Testing and Verification"},{"key":"33_CR2","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1016\/0890-5401(89)90026-6","volume":"81","author":"M. C. Brown","year":"1989","unstructured":"M. C. Brown, E. M. Clarke, and O. Grumberg. Inf. and Comput. 81:13\u201331, 1989.","journal-title":"Inf. and Comput."},{"key":"33_CR3","unstructured":"J. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill, and J. Hwang. LICS '90, 428\u2013439."},{"key":"33_CR4","first-page":"365","volume":"407","author":"O. Coudert","year":"1989","unstructured":"O. Coudert, C. Berthet, and J. C. Madre. Springer Verlag LNCS 407, 1989, 365\u2013373.","journal-title":"Springer Verlag LNCS"},{"key":"33_CR5","first-page":"197","volume":"407","author":"D. L. Dill","year":"1989","unstructured":"D. L. Dill. Springer Verlag LNCS 407, 1989, 197\u2013212.","journal-title":"Springer Verlag LNCS"},{"key":"33_CR6","volume-title":"Computers and Intractability: A Guide to the Theory of NP-Completeness","author":"M. R. Garey","year":"1979","unstructured":"M. R. Garey and D. S. Johnson. Computers and Intractability: A Guide to the Theory of NP-Completeness, Freeman, San Francisco, 1979."},{"key":"33_CR7","first-page":"321","volume":"3","author":"P. Godefroid","year":"1991","unstructured":"P. Godefroid. DIMACS Series, vol. 3, 1991, 321\u2013340.","journal-title":"DIMACS Series"},{"key":"33_CR8","unstructured":"J. Kilian. Private communication."},{"key":"33_CR9","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1007\/BF00276023","volume":"26","author":"J. K\u00f6bler","year":"1989","unstructured":"J. K\u00f6bler, U. Sch\u00f6ning, and J. Toran. Acta Informatica 26:363\u2013379, 1989.","journal-title":"Acta Informatica"},{"key":"33_CR10","first-page":"414","volume":"430","author":"R. P. Kurshan","year":"1990","unstructured":"R. P. Kurshan. Springer Verlag LNCS 430, 1990, 414\u2013453.","journal-title":"Springer Verlag LNCS"},{"key":"33_CR11","first-page":"19","volume":"103","author":"R. P. Kurshan","year":"1987","unstructured":"R. P. Kurshan. Springer Verlag LNCIS 103, 1987, 19\u201339.","journal-title":"Springer Verlag LNCIS"},{"key":"33_CR12","unstructured":"R. P. Kurshan and K. L. McMillan. PODC '89, 239\u2013247."},{"issue":"1","key":"33_CR13","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/BF01379149","volume":"15","author":"V. Pratt","year":"1986","unstructured":"V. Pratt. Intl. J. Parallel Programming 15(1):33\u201371, 1986.","journal-title":"Intl. J. Parallel Programming"},{"key":"33_CR14","first-page":"15","volume":"3","author":"D. Probst","year":"1991","unstructured":"D. Probst and H. Li. DIMACS Series, vol. 3, 1991, 15\u201324.","journal-title":"DIMACS Series"},{"key":"33_CR15","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0304-3975(87)90008-9","volume":"49","author":"A. P. Sistla","year":"1987","unstructured":"A. P. Sistla, M. Y. Vardi, and P. Wolper. Theor. Comput. Sci. 49:217\u2013237, 1987.","journal-title":"Theor. Comput. Sci."},{"key":"33_CR16","unstructured":"H. J. Touati, R. K. Brayton, and R. P. Kurshan. Testing Language Containment for \u03a9-Automata using BDD's, Formal Methods in VLSI Design (1991), ACM, to appear."},{"key":"33_CR17","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/0304-3975(79)90044-6","volume":"8","author":"L. Valiant","year":"1979","unstructured":"L. Valiant. Theor. Comput. Sci. 8:189\u2013201, 1979.","journal-title":"Theor. Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55179-4_33","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T14:22:15Z","timestamp":1713622935000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55179-4_33"}},"subtitle":["Extended abstract \u2014 CAV '91 proceedings"],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540551799","9783540467632"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-55179-4_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]},"assertion":[{"value":"29 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}