@InProceedings{LeuckerSW03,
    author = {Martin Leucker and Rafal Somla and Michael Weber},
    title = {Parallel Model Checking for {LTL}, {CTL{$^{\ast}$}} and {$L_{\mu}^2$}},
    booktitle = {Electronic Notes in Theoretical Computer Science},
    volume = {89},
    issue = {1},
    publisher = {Elsevier Science Publishers},
    editor = {Lubos Brim and Orna Grumberg},
    year = {2003},
}