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

by E Clarke, M Talupur, H Veith
Venue:In Proceedings of TACAS’08, volume 4963 of LNCS, 33–47