Software (theme 1)
Academic Press
Information and Computation
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
Computer Security

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