Parallel model checking for the alternation free µ-calculus (0)

by B Bollig, M Leucker, M Weber
Venue:Lecture Notes in Computer Science