Combining model checking and theorem proving to verify parallel processes (1993)

by H Hungar
Venue:Computer Aided Veri cation, volume 697 of Lect. Notes in Comp. Sci