IEEE
IEEE Symposium on Logic in Computer Science
Computer Security

Bonsangue, M., Rutten, J.& Silva, A. (2009). Algebras for Kripke polynomial coalgebras. Proceedings of Conference on Foundations of Software Science and Computation Structures 2009, 49–58.