@InProceedings{GRV05-efficient, author = {Geeraerts, G. and Raskin, J.-F. and {Van~Begin}, L.}, title = {Expand, Enlarge and Check... Made efficient}, booktitle = {Poceedings of 17th International Conference on Computer Aided Verification -- CAV 2005 }, pages = {394--404}, year = {2005}, editor = {S. K. Rajjamani and K. Etessami}, number = {3576}, series = {Lecture Notes in Computer Science}, publisher = {Springer Verlag}, pdf = {http://www.ulb.ac.be/di/ssd/ggeeraer/papers/eec-cav05.pdf} }