Construction of abstract state graphs via PVS (1997)

by S Graf, H Saïdi
Venue:Computer Aided Verification, 9th International Conference, CAV ’97, volume 1254 of Lecture Notes in Computer Science