@inproceedingsLet2006, Author = {Lettrari, M.}, Title = {Using Abstractions for Heuristic State Space Exploration of Reactive Object-Oriented Systems}, Year = {2006}, Pages = {462-481}, Month = {06}, Editor = {Springer}, Publisher = {Springer}, Series = {Lecture Notes in Computer Science}, Booktitle = {FME 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings}, type = {inproceedings} @COMMENTBibtex file generated on