Approximate reachability don’t cares for CTL model checking (1998)

by In-ho Moon , Jae-young Jang , Gary D. Hachtel , Fabio Somenzi , Jun Yuan , Carl Pixley
Venue:In Proceedings of the International Conference on Computer-Aided Design
Citations:16 - 11 self