Proving language inclusion and equivalence by coinduction

2016

Additional Metadata
Persistent URL	doi.org/10.1016/j.ic.2015.11.009
Journal	Information and Computation
Organisation	Computer Security
Citation APA Style AAA Style APA 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	Rot, J.C, Bonsangue, M.M, & Rutten, J.J.M.M. (2016). Proving language inclusion and equivalence by coinduction. Information and Computation, 246, 62–76. doi:10.1016/j.ic.2015.11.009