Construction of abstract state graphs with pvs (1997)

by S Graf, H Saidi
Venue:In Proc. 9th CAV