Ulrich Stern, David L. Dill. Parallelizing the Murj Verifier. Formal Methods in System Design, 18(2):117-129, 2001.
@article{SternD01,
title = {Parallelizing the Murj Verifier},
author = {Ulrich Stern and David L. Dill},
year = {2001},
researchr = {https://researchr.org/publication/SternD01},
cites = {0},
citedby = {0},
journal = {Formal Methods in System Design},
volume = {18},
number = {2},
pages = {117-129},
}