2015
The dual equivalence of equations and coequations for automata
Publication
Publication
Information and Computation , Volume 244 p. 49- 75
Additional Metadata | |
---|---|
Academic Press | |
doi.org/10.1016/j.ic.2015.08.001 | |
Information and Computation | |
Organisation | Computer Security |
Ballester-Bolinches, A., Cosme-Llopez, E., & Rutten, J. (2015). The dual equivalence of equations and coequations for automata. Information and Computation, 244, 49–75. doi:10.1016/j.ic.2015.08.001 |