Construction of abstract state graphs with PVS. (1997)

by S Graf, H Saidi
Venue:CAV 1997. LNCS,