An abstract interpretation toolkit for µCRL

J.C. Pol, van de; M.A. Valero Espada

doi:10.1016/j.entcs.2004.08.070

An abstract interpretation toolkit for µCRL

J.C. Pol, van de
, M.A. Valero Espada

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

Originele taal-2	Engels
Titel	Proceedings Ninth International Workshop on Formal Methods for Industrial Critical Systems (FMICS'04, Linz, Austria, September 20-21, 2004)
Redacteuren	J. Biccarregui, A. Butterfeld, A. Arenas
Pagina's	295-313
DOI's	https://doi.org/10.1016/j.entcs.2004.08.070
Status	Gepubliceerd - 2005

Publicatie series

Naam	Electronic Notes in Theoretical Computer Science
Volume	133
ISSN van geprinte versie	1571-0061

Toegang tot document

10.1016/j.entcs.2004.08.070

Citeer dit

Pol, van de, J. C., & Valero Espada, M. A. (2005). An abstract interpretation toolkit for µCRL. In J. Biccarregui, A. Butterfeld, & A. Arenas (editors), Proceedings Ninth International Workshop on Formal Methods for Industrial Critical Systems (FMICS'04, Linz, Austria, September 20-21, 2004) (blz. 295-313). (Electronic Notes in Theoretical Computer Science; Vol. 133). https://doi.org/10.1016/j.entcs.2004.08.070

@inproceedings{898afd16009c4f1cac9b75ba5248fb61,

title = "An abstract interpretation toolkit for µCRL",

author = "\{Pol, van de\}, J.C. and \{Valero Espada\}, M.A.",

year = "2005",

doi = "10.1016/j.entcs.2004.08.070",

language = "English",

series = "Electronic Notes in Theoretical Computer Science",

pages = "295--313",

editor = "J. Biccarregui and A. Butterfeld and A. Arenas",

booktitle = "Proceedings Ninth International Workshop on Formal Methods for Industrial Critical Systems (FMICS'04, Linz, Austria, September 20-21, 2004)",

}

Pol, van de, JC & Valero Espada, MA 2005, An abstract interpretation toolkit for µCRL. in J Biccarregui, A Butterfeld & A Arenas (reds.), Proceedings Ninth International Workshop on Formal Methods for Industrial Critical Systems (FMICS'04, Linz, Austria, September 20-21, 2004). Electronic Notes in Theoretical Computer Science, vol. 133, blz. 295-313. https://doi.org/10.1016/j.entcs.2004.08.070

An abstract interpretation toolkit for µCRL. / Pol, van de, J.C.; Valero Espada, M.A.
Proceedings Ninth International Workshop on Formal Methods for Industrial Critical Systems (FMICS'04, Linz, Austria, September 20-21, 2004). reds. / J. Biccarregui; A. Butterfeld; A. Arenas. 2005. blz. 295-313 (Electronic Notes in Theoretical Computer Science; Vol. 133).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

TY - GEN

T1 - An abstract interpretation toolkit for µCRL

AU - Pol, van de, J.C.

AU - Valero Espada, M.A.

PY - 2005

Y1 - 2005

U2 - 10.1016/j.entcs.2004.08.070

DO - 10.1016/j.entcs.2004.08.070

M3 - Conference contribution

T3 - Electronic Notes in Theoretical Computer Science

SP - 295

EP - 313

BT - Proceedings Ninth International Workshop on Formal Methods for Industrial Critical Systems (FMICS'04, Linz, Austria, September 20-21, 2004)

A2 - Biccarregui, J.

A2 - Butterfeld, A.

A2 - Arenas, A.

ER -

Pol, van de JC, Valero Espada MA. An abstract interpretation toolkit for µCRL. In Biccarregui J, Butterfeld A, Arenas A, redacteurs, Proceedings Ninth International Workshop on Formal Methods for Industrial Critical Systems (FMICS'04, Linz, Austria, September 20-21, 2004). 2005. blz. 295-313. (Electronic Notes in Theoretical Computer Science). doi: 10.1016/j.entcs.2004.08.070