DMCA

Larger automata and less work for LTL model checking (2006)

Cached

Download Links

by Jaco Geldenhuys , Henri Hansen
Venue:In Model Checking Software, 13th Int’l SPIN Workshop, volume 3925 of LNCS
Citations:11 - 0 self