@inproceedings{DDP99,
author = "Satyaki Das and David L. Dill and Seungjoon Park",
title = "Experience with Predicate Abstraction",
Editors="Nicolas Halbwachs and Doron Peled",		  
booktitle="11th International Conference on Computer-Aided Verification,"
Note="Trento, Italy"
month="July",
publisher="Springer-Verlag",
year=1999}