DMCA

Shortest Counterexamples for Symbolic Model Checking of LTL with Past (2005)

Cached

Download Links

by Viktor Schuppan , Armin Biere
Venue:In: TACAS. Volume 3440 of LNCS
Citations:17 - 2 self