Abstracting an Operational Semantics to Finite Automata.
Nadezhda Baklanova, Wilmer Ricciotti, Jan-Georg Smaus, Martin Strecker
VenueNationalICTERI
Year2015
ProceedingsICTERI (Revised Selected Papers)
DBLP recordconf/icteri/BaklanovaRSS15a ↗
Browse the full ICTERI paper archive.