Additional Metadata
THEME Software (theme 1)
Publisher North-Holland
Journal Science of Computer Programming
Citation
Bonsangue, M.M, Caltais, G, Goriac, E, Lucanu, D, Rutten, J.J.M.M, & Silva, A.M. (2013). Automatic equivalence proofs for non-deterministic coalgebras. Science of Computer Programming, 2013, 1324–1345.