An abstract interpretation toolkit for µCRL

Miguel Valero Espada, Jaco van de Pol. An abstract interpretation toolkit for µCRL. Formal Methods in System Design, 30(3):249-273, 2007. [doi]

Abstract

Abstract is missing.