Parallel Model Checking for the Alternation Free µ-Calculus.

Benedikt Bollig, Martin Leucker, Michael Weber

Browse the full TACAS paper archive.