TY  - RPRT
TI  - Minimization of semilinear automata
AU  - Mikołaj Bojańczyk
AU  - Sławomir Lasota
PY  - 2012
UR  - https://arxiv.org/abs/1210.4980
ID  - 1210.4980
ER  -