@article{silva-2013-generalizing, title={Generalizing determinization from automata to coalgebras}, volume={Volume 9, Issue 1}, ISSN={1860-5974}, url={http://dx.doi.org/10.2168/lmcs-9(1:9)2013}, DOI={10.2168/lmcs-9(1:9)2013}, journal={Logical Methods in Computer Science}, publisher={Centre pour la Communication Scientifique Directe (CCSD)}, author={Silva, Alexandra and Bonchi, Filippo and Bonsangue, Marcello and Rutten, Jan}, year={2013}, month=Mar }