Modelling and Performances Analysis of a Parallel Theorem Prover.

Manfred R. Jobmann, Johann Schumann

Browse the full SIGMETRICS paper archive.