The modular framework of computer-aided veri - cation (1990)

by G Shurek, O Grumberg
Venue:In Workshop on Automatic Veri cation '90, volume 531 of LNCS