Miguel Valero Espada, Jaco van de Pol. An abstract interpretation toolkit for µCRL. Formal Methods in System Design, 30(3):249-273, 2007. [doi]
@article{EspadaP07,
title = {An abstract interpretation toolkit for µCRL},
author = {Miguel Valero Espada and Jaco van de Pol},
year = {2007},
doi = {10.1007/s10703-006-0029-7},
url = {http://dx.doi.org/10.1007/s10703-006-0029-7},
researchr = {https://researchr.org/publication/EspadaP07},
cites = {0},
citedby = {0},
journal = {Formal Methods in System Design},
volume = {30},
number = {3},
pages = {249-273},
}