Additional Metadata
THEME Software (theme 1)
Series preprint (not CWI, to be used with submitted papers)
Note accepted for post-proceedings of WADT 2014. Springer LNCS. Published paper: DOI: 10.1007/978-3-319-28114-8_4
Citation
Fortin, M, Bonsangue, M.M, & Rutten, J.J.M.M. (2015). Coalgebraic semantics of heavy-weighted automata. preprint (not CWI, to be used with submitted papers).