Parallelizing the Murj Verifier

Ulrich Stern, David L. Dill. Parallelizing the Murj Verifier. Formal Methods in System Design, 18(2):117-129, 2001.

Possibly Related Publications

The following publications are possibly variants of this publication: