Technical Reports

A Promela front-end for Spot
Complementing Büchi Automata
Complementing Büchi Automata Via Alternating Automata

Guillaume Sadegh