{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:20:47Z","timestamp":1725484847641},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540436317"},{"type":"electronic","value":"9783540478133"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-47813-2_19","type":"book-chapter","created":{"date-parts":[[2007,5,30]],"date-time":"2007-05-30T22:35:31Z","timestamp":1180564531000},"page":"272-288","source":"Crossref","is-referenced-by-count":1,"title":["A Simulation Preorder for Abstraction of Reactive Systems"],"prefix":"10.1007","author":[{"given":"Ferucio Laurent\u0163iu","family":"T\u0162iplea","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aurora","family":"T\u0162iplea","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,4,10]]},"reference":[{"key":"19_CR1","doi-asserted-by":"crossref","unstructured":"R. Alur, Th.A. Henziger: Reactive Modules, in: Proc. of the 11th IEEE Symposium on Logic in Computer Science LICS, 1996, 207\u2013218.","DOI":"10.1109\/LICS.1996.561320"},{"key":"19_CR2","series-title":"Lect Notes Comput Sci","volume-title":"Synthesis of Synchronizations Skeletons for Branching Time Temporal Logic","author":"E.M. Clarke","year":"1982","unstructured":"E.M. Clarke, E.A. Emerson: Synthesis of Synchronizations Skeletons for Branching Time Temporal Logic, in: Workshop on Logic of Programs, Yorktown Heights, May 1981, LNCS 131, Springer-Verlag, 1981."},{"issue":"5","key":"19_CR3","doi-asserted-by":"publisher","first-page":"1512","DOI":"10.1145\/186025.186051","volume":"16","author":"E.M. Clarke","year":"1994","unstructured":"E.M. Clarke, O. Grumberg, D.E. Long: Model Checking and Abstraction, ACM Trans. Prog. Lang. Sys., 16(5), 1994, 1512\u20131542.","journal-title":"ACM Trans. Prog. Lang. Sys."},{"key":"19_CR4","first-page":"477","volume":"152","author":"E.M. Clarke","year":"1996","unstructured":"E.M. Clarke, O. Grumberg, D.E. Long: Model Checking, in: Model Checking, Abstraction and Composition, vol 152 of NATO ASI Series F, Springer-Verlag, 1996, 477\u2013498.","journal-title":"Model Checking, Abstraction and Composition"},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"J. Esparza, S. Melzer: Model Checking LTL Using Constraint Programming, Technical Report, Technische Universit\u00e4t M\u00fcnchen, 1997.","DOI":"10.1007\/3-540-63139-9_26"},{"key":"19_CR6","series-title":"Lect Notes Comput Sci","first-page":"843","volume-title":"ACM Transactions on Programming Languages and Systems","author":"O. Grumberg","year":"1994","unstructured":"O. Grumberg, D.E. Long: Model Checking and Modular Verification, ACM Transactions on Programming Languages and Systems 16, 1994, 843\u2013871 (a short version in Proceedings of CONCUR\u201991, LNCS 527, 1991, 250-265)."},{"key":"19_CR7","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"Algorithmic Verification of Linear Temporal Logic Specifications","author":"Y. Kersten","year":"1998","unstructured":"Y. Kersten, A. Pnueli, L. Raviv: Algorithmic Verification of Linear Temporal Logic Specifications, in: Proc. of the 25th International Colloquium on Automata, Languages, and Programming ICALP\u201998, LNCS 1443, Springer-Verlag, 1998, 1\u201316."},{"key":"19_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1007\/BFb0055757","volume-title":"Modularization and Abstraction: The Keys to Practical Formal Verification","author":"Y. Kersten","year":"1998","unstructured":"Y. Kersten, A. Pnueli: Modularization and Abstraction: The Keys to Practical Formal Verification, in: Proc. of the 23rd International Symposium on Mathematical Foundations of Computer Science MFCS\u201998, LNCS 1450, Springer-Verlag, 1998, 54\u201371."},{"key":"19_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1007\/3-540-49213-5_14","volume-title":"Modular Model Checking","author":"O. Kupferman","year":"1998","unstructured":"O. Kupferman, M.Y. Vardi: Modular Model Checking, in: Proc. of the International Symposium \u201cCompositionality: The Significant Difference\u201d COMPOS\u201997, Bad Malente (Germany), Sept 8\u201312, 1997, LNCS 1536, Springer-Verlag, 1998, 381\u2013401."},{"key":"19_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"414","DOI":"10.1007\/3-540-52559-9_74","volume-title":"Analysis of Discrete Event Coordination","author":"B. Kurshan","year":"1990","unstructured":"B. Kurshan: Analysis of Discrete Event Coordination, in: Proc. of the REX Workshop on Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness (J.W. Bakker, W.-P. de Roever, G. Rozenberg, eds.), LNCS 430, Springer-Verlag, 1989, 414\u2013453."},{"key":"19_CR11","doi-asserted-by":"crossref","unstructured":"Z. Manna, A. Pnueli: The Temporal Logic of Reactive and Concurrent Systems. Specification, Springer-Verlag, 1992.","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"19_CR12","doi-asserted-by":"crossref","unstructured":"W. Reisig: Petri Nets, Springer-Verlag, 1985.","DOI":"10.1007\/978-3-642-69968-9"},{"key":"19_CR13","doi-asserted-by":"crossref","unstructured":"W. Reisig: Elements of Distributed Algorithms. Modeling and Analysis with Petri Nets, Springer-Verlag, 1998.","DOI":"10.1007\/978-3-662-03687-7"},{"key":"19_CR14","unstructured":"F.L. Tiplea, A. Tiplea: Petri Net Reactive Modules, Tech. Report 1999-7, Universit\u00e4t Augsburg, Institut f\u00fcr Informatik, 1999, 50pp."}],"container-title":["Lecture Notes in Computer Science","Verification, Model Checking, and Abstract Interpretation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-47813-2_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T09:36:11Z","timestamp":1556444171000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-47813-2_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540436317","9783540478133"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-47813-2_19","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}