Perfect model checking via unfold/fold transformations (0)

by A Pettorossi, M Proietti
Venue:In Proceedings CL 2000