2015
The dual equivalence of equations and coequations for automata
Publication
Publication
Information and Computation , Volume 244 p. 49- 75
Additional Metadata | |
---|---|
Software (theme 1) | |
Academic Press | |
dx.doi.org/10.1016/j.ic.2015.08.001 | |
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 | |
Organisation | 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
|