{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:25:48Z","timestamp":1725456348078},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540633792"},{"type":"electronic","value":"9783540695264"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0028397","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T01:50:11Z","timestamp":1132624211000},"page":"231-241","source":"Crossref","is-referenced-by-count":4,"title":["Verification for robust specification"],"prefix":"10.1007","author":[{"given":"Doron","family":"Peled","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,17]]},"reference":[{"key":"16_CR1","unstructured":"R. Alur, K. McMillan, D. Peled, Deciding Global Partial-Order Properties, submitted for publication."},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"R. Alur, D. Peled, W. Penczek, Model-Checking of Causality Properties, 10th Symposium on Logic in Computer Science, IEEE, 1995, San Diego, USA, 90\u2013100.","DOI":"10.1109\/LICS.1995.523247"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"P. Godefroid, D. Pirottin, Refining dependencies improves partial order verification methods, 5th Conference on Computer Aided Verification, LNCS 697, Elounda, Greece, 1993, 438\u2013449.","DOI":"10.1007\/3-540-56922-7_36"},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"P. Godefroid, P. Wolper, A Partial Approach to Model Checking, 6th Annual IEEE Symposium on Logic in Computer Science, 1991, Amsterdam, 406\u2013415.","DOI":"10.1109\/LICS.1991.151664"},{"key":"16_CR5","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/BF02252682","volume":"6","author":"S. Katz","year":"1992","unstructured":"S. Katz, D. Peled, Verification of Distributed Programs using Representative Interleaving Sequences, Distributed Computing 6 (1992), 107\u2013120. A preliminary version appeared in Temporal Logic in Specification, UK, 1987, LNCS 398, 21\u201343.","journal-title":"Distributed Computing"},{"key":"16_CR6","unstructured":"L. Lamport, What good is temporal logic, Information Processing 83, Elsevier Science Publishers, 1983, 657\u2013668."},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Z. Manna, A. Pnueli, How to Cook a Temporal Proof System for Your Pet Language. Proceedings of the 10th ACM Symposium on Principles on Programming Languages, Austin, Texas, 1983, 141\u2013151.","DOI":"10.1145\/567067.567082"},{"key":"16_CR8","first-page":"279","volume-title":"Advances in Petri Nets 1986","author":"A. Mazurkiewicz","year":"1987","unstructured":"A. Mazurkiewicz, Trace Theory, Advances in Petri Nets 1986, Bad Honnef, Germany, LNCS 255, Springer, 1987, 279\u2013324."},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"D. Peled, All from one, one for all, on model-checking using representatives, 5th Conference on Computer Aided Verification, Greece, 1993, LNCS, Springer, 409\u2013423.","DOI":"10.1007\/3-540-56922-7_34"},{"key":"16_CR10","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1007\/BF00121262","volume":"8","author":"D. Peled","year":"1996","unstructured":"D. Peled. Combining partial order reductions with on-the-fly model-checking. Formal Methods in System Design 8 (1996), 39\u201364.","journal-title":"Formal Methods in System Design"},{"key":"16_CR11","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1016\/0304-3975(94)90009-4","volume":"126","author":"D. Peled","year":"1994","unstructured":"D. Peled, A. Pnueli, Proving partial order properties. Theoretical Computer Science 126, 143\u2013182, 1994.","journal-title":"Theoretical Computer Science"},{"key":"16_CR12","unstructured":"D. Peled, Th. Wilke, Stutter-Invariant Temporal Properties are Expressible without the Nexttime Operator, submitted for publication."},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"D. Peled, Th. Wilke, P. Wolper, An Algorithmic Approach for Checking Closure Properties of \u03c9-Regular Languages, to appear in CONCUR'96, 7th International Conference on Concurrency Theory, Piza, Italy, August 1996.","DOI":"10.1007\/3-540-61604-7_78"},{"key":"16_CR14","doi-asserted-by":"crossref","unstructured":"A. Pnueli, The temporal logic of programs, 18th FOGS, IEEE Symposium on Foundation of Computer Science, 1977, 46\u201357.","DOI":"10.1109\/SFCS.1977.32"},{"key":"16_CR15","doi-asserted-by":"crossref","unstructured":"W. Thomas, Automata on Infinite Objects, in J. Van Leeuwen (ed.), Handbook of Theoretical Computer Science, Vol. B, Elsevier, 1990, 133\u2013191.","DOI":"10.1016\/B978-0-444-88074-1.50009-3"},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"P.S. Thiagarajan, I. Walukiewicz, An Expressively Complete Linear Time Temporal Logic for Mazurkeiwicz Traces, Logic in Computer Science, 1997, Warsaw, Poland.","DOI":"10.7146\/brics.v3i62.18563"},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"A. Valmari, Stubborn sets for reduced state space generation, 10th International Conference on Application and Theory of Petri Nets, Bonn, Germany, 1989, LNCS 483, Springer Verlag, 491\u2013515.","DOI":"10.1007\/3-540-53863-1_36"},{"key":"16_CR18","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, P. Wolper, The Complementation Problem for B\u00fcchi Automata with Applications to Temporal Logic, Theoretical Computer Science, 49 (1987), 217\u2013237.","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Theorem Proving in Higher Order Logics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0028397","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T22:49:27Z","timestamp":1586558967000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0028397"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540633792","9783540695264"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/bfb0028397","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}