Login / Signup

Parallel Model Checking for the Alternation Free µ-Calculus.

Benedikt BolligMartin LeuckerMichael Weber
Published in: TACAS (2001)
Keyphrases