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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Proceedings Ninth International Workshop on Formal Methods for Industrial Critical Systems (FMICS'04, Linz, Austria, September 20-21, 2004)
Editors	J. Biccarregui, A. Butterfeld, A. Arenas
Pages	295-313
DOIs	https://doi.org/10.1016/j.entcs.2004.08.070
Publication status	Published - 2005

Publication series

Name	Electronic Notes in Theoretical Computer Science
Volume	133
ISSN (Print)	1571-0061

Access to Document

10.1016/j.entcs.2004.08.070

Cite this

Pol, van de, J. C., & Valero Espada, M. A. (2005). An abstract interpretation toolkit for µCRL. In J. Biccarregui, A. Butterfeld, & A. Arenas (Eds.), Proceedings Ninth International Workshop on Formal Methods for Industrial Critical Systems (FMICS'04, Linz, Austria, September 20-21, 2004) (pp. 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 (eds), 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, pp. 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). ed. / J. Biccarregui; A. Butterfeld; A. Arenas. 2005. p. 295-313 (Electronic Notes in Theoretical Computer Science; Vol. 133).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › 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, editors, Proceedings Ninth International Workshop on Formal Methods for Industrial Critical Systems (FMICS'04, Linz, Austria, September 20-21, 2004). 2005. p. 295-313. (Electronic Notes in Theoretical Computer Science). doi: 10.1016/j.entcs.2004.08.070