Springer
Lecture Notes in Computer Science
International Workshop on Parallel and Distributed Methods in Verification
Specification and Analysis of Embedded Systems

van de Pol, J.& Espada, M. V. (2004). Modal abstractions in $ \mu $ CRL. Proceedings of International Conference on Algebraic Methodolody and Software Technology 2004, 409–425.