Electronic Notes in Theoretical Computer Science.
B.P.F. Jacobs , M. Niqui (Milad) , J.J.M.M. Rutten (Jan) , A.M. Silva (Alexandra)
International Workshop on Coalgebraic Methods in Computer Science
Computer Security

Jacobs, B. P. F., Niqui, M., Rutten, J., & Silva, A. (Eds.). (2010). Proceedings CMCS 2010. In B. P. F. Jacobs, M. Niqui, J. Rutten, & A. Silva (Eds.), Proceedings of Workshop on Coalgebraic Methods in Computer Science 2010. Electronic Notes in Theoretical Computer Science. .