The dual equivalence of equations and coequations for automata

2015

Additional Metadata
THEME	Software (theme 1)
Publisher	Academic Press
Persistent URL	doi.org/10.1016/j.ic.2015.08.001
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
Organisation	Computer Security
Citation APA APA Style APA-ALL Style AAA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Ballester-Bolinches, A., Cosme-Llopez, E.& Rutten, J. (2015). The dual equivalence of equations and coequations for automata. Information and Computation, 244, 49–75.https://doi.org/10.1016/j.ic.2015.08.001

Publication