TY  - RPRT
TI  - Generalizing determinization from automata to coalgebras
AU  - Alexandra Silva
AU  - Filippo Bonchi
AU  - Marcello Bonsangue
AU  - Jan Rutten
PY  - 2013
DO  - 10.2168/lmcs-9(1:9)2013
UR  - https://arxiv.org/abs/1302.1046
ID  - 1302.1046
ER  -