Patricia M. Hill, Fausto Spoto. A Refinement of the Escape Property. In Agostino Cortesi, editor, Verification, Model Checking, and Abstract Interpretation, Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers. Volume 2294 of Lecture Notes in Computer Science, pages 154-166, Springer, 2002. [doi]
@inproceedings{HillS02, title = {A Refinement of the Escape Property}, author = {Patricia M. Hill and Fausto Spoto}, year = {2002}, url = {http://link.springer.de/link/service/series/0558/bibs/2294/22940154.htm}, tags = {refinement}, researchr = {https://researchr.org/publication/HillS02}, cites = {0}, citedby = {0}, pages = {154-166}, booktitle = {Verification, Model Checking, and Abstract Interpretation, Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers}, editor = {Agostino Cortesi}, volume = {2294}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-43631-6}, }