Elsevier B.V.
Electronic Notes in Theoretical Computer Science
International Workshop on Formal Methods for Industrial Critical Systems
Specification and Analysis of Embedded Systems

van de Pol, J., & Valero Espada, M. (2005). An Abstract Interpretation Toolkit for mCRL. In Proceedings of Formal Methods in Industrial Critical Systems (FMICS\\\'04) (pp. 295–313). Elsevier B.V.