Using Abstractions for Heuristic State Space Exploration of Reactive Object-Oriented Systems

BIB
Lettrari, M.
FME 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings
06 / 2006
inproceedings
Springer
Lecture Notes in Computer Science
462-481
Springer