@inproceedings{Let2006,
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}
}
@COMMENT{Bibtex file generated on }