Parallel Explicit Model Checking for Generalized Bchi Automata.

Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud

Browse the full TACAS paper archive.