Modal Automata: Analysing Modal Fixpoint Logics, One Step at a Time (Invited Talk).

Yde Venema

Browse the full CSL paper archive.