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

Document Versions

Perfect Model Checking via Unfold/Fold Transformations –Alberto Pettorossi, Maurizio Proietti — 2000 — In Computational Logic, LNCS 1861
Perfect Model Checking via Unfold/Fold Transformations –Alberto Pettorossi, Maurizio Proietti — 2000 — In Computational Logic, LNCS 1861