preprint (not CWI, to be used with submitted papers)
Computer Security

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).