Abstracting an Operational Semantics to Finite Automata.

Nadezhda Baklanova, Wilmer Ricciotti, Jan-Georg Smaus, Martin Strecker

Browse the full ICTERI paper archive.