TY  - RPRT
TI  - Abstracting an operational semantics to finite automata
AU  - Nadezhda Baklanova
AU  - Wilmer Ricciotti
AU  - Jan-Georg Smaus
AU  - Martin Strecker
PY  - 2014
UR  - https://arxiv.org/abs/1409.7841
ID  - 1409.7841
ER  -