Perfect Model Checking via Unfold/Fold Transformations (2000)

Cached

Download Links

by Alberto Pettorossi , Maurizio Proietti
Venue:In Computational Logic, LNCS 1861
Citations:10 - 7 self