From DFA-Frameworks to DFA-Generators: A Unifying Multiparadigm Approach.

Jens Knoop

Browse the full TACAS paper archive.