Parallelizing the Mur� verifier (1997)

by U Stern, D Dill
Venue:Proc. 9th Conf. on Computer Aided Verification (CAV’97