Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - JOUR
ID - DBLP:journals/fmsd/EspadaP07
AU - Espada, Miguel Valero
AU - Pol, Jaco van de
TI - An abstract interpretation toolkit for µCRL.
JO - Formal Methods Syst. Des.
VL - 30
IS - 3
SP - 249
EP - 273
PY - 2007//
DO - 10.1007/S10703-006-0029-7
UR - https://doi.org/10.1007/s10703-006-0029-7
UR - https://www.wikidata.org/entity/Q62047488
ER -
