Coalgebraic semantics of heavy-weighted automata

2016

Presented at the International Workshop on Algebraic Development Techniques (September 2014), Sinaia, Romania

Additional Metadata
Series	Post-proceedings of WADT 2014
Conference	International Workshop on Algebraic Development Techniques
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	Fortin, M., Bonsangue, M., & Rutten, J. (2016). Coalgebraic semantics of heavy-weighted automata. In Lecture Notes in Computer Science.

Additional Files
25302.pdf Author Manuscript , 444kb

Publication