Parallelizing the Murj Verifier

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

Abstract

Abstract is missing.