Parallelizing the Murφ verifier (1997)

by Ulrich Stern , David L. Dill
Venue:Computer Aided Verification. 9th International Conference
Citations:71 - 0 self