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 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	Fortin, M., Bonsangue, M.& Rutten, J. (2016, January). Coalgebraic semantics of heavy-weighted automata. Lecture Notes in Computer Science, 9463.

Additional Files
25302.pdf Author Manuscript , 444kb

Publication