Parallelizing the Murφ verifier (1997)

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