From LTL to Symbolically Represented Deterministic Automata.

Andreas Morgenstern, Klaus Schneider

Browse the full VMCAI paper archive.