silva-2013-generalizing:
  type: article
  title: Generalizing determinization from automata to coalgebras
  author:
  - Silva, Alexandra
  - Bonchi, Filippo
  - Bonsangue, Marcello
  - Rutten, Jan
  date: 2013-03
  url: http://dx.doi.org/10.2168/lmcs-9(1:9)2013
  serial-number:
    doi: 10.2168/lmcs-9(1:9)2013
    issn: 1860-5974
  parent:
    type: periodical
    title: Logical Methods in Computer Science
    publisher: Centre pour la Communication Scientifique Directe (CCSD)
    volume: Volume 9, Issue 1