New developments around the µCRL tool set

S.C.C. Blom; J.F. Groote; I. Langevelde, van; B. Lisser; J.C. Pol, van de

doi:10.1016/S1571-0661(04)80827-2

New developments around the µCRL tool set

S.C.C. Blom, J.F. Groote, I. Langevelde, van, B. Lisser, J.C. Pol, van de

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

Original language	English
Title of host publication	Proceedings Eighth International Workshop on Formal Methods for Industrial Systems (FMICS'03, Trondheim, Norway, June 5-7, 2003)
Pages	284-288
Number of pages	5
DOIs	https://doi.org/10.1016/S1571-0661(04)80827-2
Publication status	Published - 2003

Publication series

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

Access to Document

10.1016/S1571-0661(04)80827-2

https://www.wikidata.org/entity/Q62047504

Cite this

Blom, S. C. C., Groote, J. F., Langevelde, van, I., Lisser, B., & Pol, van de, J. C. (2003). New developments around the µCRL tool set. In Proceedings Eighth International Workshop on Formal Methods for Industrial Systems (FMICS'03, Trondheim, Norway, June 5-7, 2003) (pp. 284-288). (Electronic Notes in Theoretical Computer Science; Vol. 80). https://doi.org/10.1016/S1571-0661(04)80827-2

@inproceedings{95e130d5bd164c7ca237bf22c0237b5f,

title = "New developments around the µCRL tool set",

author = "S.C.C. Blom and J.F. Groote and {Langevelde, van}, I. and B. Lisser and {Pol, van de}, J.C.",

year = "2003",

doi = "10.1016/S1571-0661(04)80827-2",

language = "English",

series = "Electronic Notes in Theoretical Computer Science",

pages = "284--288",

booktitle = "Proceedings Eighth International Workshop on Formal Methods for Industrial Systems (FMICS'03, Trondheim, Norway, June 5-7, 2003)",

}

Blom, SCC, Groote, JF, Langevelde, van, I, Lisser, B & Pol, van de, JC 2003, New developments around the µCRL tool set. in Proceedings Eighth International Workshop on Formal Methods for Industrial Systems (FMICS'03, Trondheim, Norway, June 5-7, 2003). Electronic Notes in Theoretical Computer Science, vol. 80, pp. 284-288. https://doi.org/10.1016/S1571-0661(04)80827-2

New developments around the µCRL tool set. / Blom, S.C.C.; Groote, J.F.; Langevelde, van, I. et al.
Proceedings Eighth International Workshop on Formal Methods for Industrial Systems (FMICS'03, Trondheim, Norway, June 5-7, 2003). 2003. p. 284-288 (Electronic Notes in Theoretical Computer Science; Vol. 80).

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

TY - GEN

T1 - New developments around the µCRL tool set

AU - Blom, S.C.C.

AU - Groote, J.F.

AU - Langevelde, van, I.

AU - Lisser, B.

AU - Pol, van de, J.C.

PY - 2003

Y1 - 2003

U2 - 10.1016/S1571-0661(04)80827-2

DO - 10.1016/S1571-0661(04)80827-2

M3 - Conference contribution

T3 - Electronic Notes in Theoretical Computer Science

SP - 284

EP - 288

BT - Proceedings Eighth International Workshop on Formal Methods for Industrial Systems (FMICS'03, Trondheim, Norway, June 5-7, 2003)

ER -