Coinductive proof techniques for language equivalence

2013

Presented at the Conference on Language and Automata Theory and Applications, Bilbao, Spain

Additional Metadata
THEME	Software (theme 1)
Publisher	Springer
Series	Lecture Notes in Computer Science
Conference	Conference on Language and Automata Theory and Applications
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	Rot, J., Bonsangue, M.& Rutten, J. (2013, January). Coinductive proof techniques for language equivalence. Proceedings of Conference on Language and Automata Theory and Applications 2013 (LATA 7).

Publication