Skip to content

Mona & Fido: The Logic-Automaton Connection in Practice.

Nils Klarlund

VenueBCSL
Year1997
ProceedingsCSL

Browse the full CSL paper archive.