Additional Metadata
THEME Software (theme 1)
Publisher Springer
Series Lecture Notes in Computer Science
Conference Conference on Current Trends in Theory and Practice of Computer Science
Citation
Rot, J.C, Bonsangue, M.M, & Rutten, J.J.M.M. (2013). Coalgebraic Bisimulation-Up-To. In Proceedings of Conference on Current Trends in Theory and Practice of Computer Science 2013 (SOFSEM 0) (pp. 369–381). Springer.