Software (theme 1)
Springer
Lecture Notes in Computer Science
Conference on Current Trends in Theory and Practice of Computer Science
Computer Security

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.