Fast LTL to Bchi Automata Translation.

Paul Gastin, Denis Oddoux

Browse the full CAV paper archive.