What if Model Checking Must Be Truly Symbolic (1995)

Cached

Download Links

by Hardi Hungar , Orna Grumberg , Werner Damm
Citations:9 - 3 self