Proving ptolemy right: The environment abstraction framework for model checking concurrent systems (2008)

by E M Clarke, M Talupur, H Veith
Venue:In Proceedings of TACAS’08