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

Cached

Download Links

by Edmund Clarke , Muralidhar Talupur , Helmut Veith
Venue:In TACAS
Citations:19 - 2 self