Enhanced coinduction

Additional Metadata
Promotor	J.J.M.M. Rutten (Jan) , F.S. de Boer (Frank)
Degree Grantor	Universiteit Leiden
Copromotor	M.M. Bonsangue (Marcello)
ISBN	978-94-6299-174-3
Persistent URL	hdl.handle.net/1887/35814
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. (2015, October 15). Enhanced coinduction. Retrieved from http://hdl.handle.net/1887/35814

Publication