Large-scale directed model checking LTL (2006)

Cached

Download Links

by Stefan Edelkamp , Shahid Jabbar
Venue:In Model Checking Software (SPIN
Citations:22 - 8 self