From \omega -Regular Expressions to Bchi Automata via Partial Derivatives.

Peter Thiemann, Martin Sulzmann

Browse the full LATA paper archive.