Modelling and analysing software in mCRL2

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

Original language	English
Title of host publication	Formal Aspects of Component Software.
Subtitle of host publication	FACS 2019
Editors	Fahrad Arbab, Sung-Shik Jongmans
Place of Publication	Cham.
Publisher	Springer
Pages	25-48
Volume	LNCS 12018
Publication status	Published - 2020

Cite this

@inproceedings{978f208a3a7e4ca194180ee8a14a5ee8,

title = "Modelling and analysing software in mCRL2",

author = "Groote, {Jan Friso} and Keiren, {Jeroen J.A.} and Luttik, {S.P. (Bas)} and {de Vink}, {Erik P.} and Willemse, {Tim A.C.}",

year = "2020",

language = "English",

volume = "LNCS 12018",

pages = "25--48",

editor = "Fahrad Arbab and Sung-Shik Jongmans",

booktitle = "Formal Aspects of Component Software.",

publisher = "Springer",

address = "Germany",

}

TY - GEN

T1 - Modelling and analysing software in mCRL2

AU - Groote, Jan Friso

AU - Keiren, Jeroen J.A.

AU - Luttik, S.P. (Bas)

AU - de Vink, Erik P.

AU - Willemse, Tim A.C.

PY - 2020

Y1 - 2020

M3 - Conference contribution

VL - LNCS 12018

SP - 25

EP - 48

BT - Formal Aspects of Component Software.

A2 - Arbab, Fahrad

A2 - Jongmans, Sung-Shik

PB - Springer

CY - Cham.

ER -