Additional Metadata
THEME Software (theme 1)
Publisher Academic Press
Persistent URL
Journal Information and Computation
Grant This work was funded by the The Netherlands Organisation for Scientific Research (NWO); grant id nwo/612.001.210 - Enhancing efficiency and expressiveness of the coinduction proof method
Ballester-Bolinches, A, Cosme-Llopez, E, & Rutten, J.J.M.M. (2015). The dual equivalence of equations and coequations for automata. Information and Computation, 244, 49–75. doi:10.1016/j.ic.2015.08.001