Skip to content

Converting Self-verifying Automata into Deterministic Automata.

Galina Jirskov, Giovanni Pighizzini

VenueCLATA
Year2009
ProceedingsLATA

Browse the full LATA paper archive.