{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T12:02:00Z","timestamp":1754481720887},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540569220"},{"type":"electronic","value":"9783540477877"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56922-7_4","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:54:41Z","timestamp":1330257281000},"page":"29-40","source":"Crossref","is-referenced-by-count":29,"title":["An iterative approach to language containment"],"prefix":"10.1007","author":[{"given":"Felice","family":"Balarin","sequence":"first","affiliation":[]},{"given":"Alberto L.","family":"Sangiovanni-Vincentelli","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"S. Bensalem, A. Boujjani, C. Loiseaux, and J. Sifakis. Property preserving simulations. In Proceeding of the Fourth Workshop on Computer-Aided Verification (CAV '92), June 1992.","DOI":"10.1007\/3-540-56496-9_21"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"J. R. Burch, Edmund M. Clarke, K. L. McMillan, and David L. Dill. Sequential circuit verification using symbolic model checking. In Proceedings of the 27th ACM\/IEEE Design Automation Conference, 1990.","DOI":"10.1145\/123186.123223"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Edmund M. Clarke, Orna Grumberg, and David E. Long. Model checking and abstraction. In Proc. Principles of Programming Languages, January 1992.","DOI":"10.1145\/143165.143235"},{"key":"4_CR4","unstructured":"Z. Har'El and R. P. Kurshan. Software for analysis of coordination. In Proceedings of the International Conference on System Science, pages 382\u2013385, 1988."},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Ramin Hojati, Herve Touati, R. P. Kurshan, and Robert K. Brayton. Efficient \u03c9- regular language containment. In Proceeding of the Fourth Workshop on Computer-Aided Verification (CAV '92), June 1992.","DOI":"10.1007\/3-540-56496-9_31"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"R. P. Kurshan. Analysis of discrete event coordination. In J.W. de Bakker, W.P. de Roever, and G. Rozenberg, editors, Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness, pages 414\u2013453. Springer-Verlag, 1990. LNCS vol. 430.","DOI":"10.1007\/3-540-52559-9_74"},{"key":"4_CR7","unstructured":"R. P. Kurshan, 1991. private communications."},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"R. P. Kurshan and K. L. McMillan. A structural induction theorem for processes. In Proceedings of the 8th ACM Symp. PODC, 1989.","DOI":"10.1145\/72981.72998"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56922-7_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:07:18Z","timestamp":1605647238000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56922-7_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540569220","9783540477877"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-56922-7_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}