Modelling and analysing software in mCRL2

Jan Friso Groote, Jeroen J.A. Keiren, S.P. (Bas) Luttik, Erik P. de Vink, Tim A.C. Willemse

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

14 Citations (Scopus)

14 Citations - based on content available in repository [source: Scopus]
1 Report

1 results

2019
Modelling and analysing software in mCRL2
Groote, J. F., Keiren, J. J. A., Luttik, B., de Vink, E. P. & Willemse, T. A. C., Dec 2019, Eindhoven: Technische Universiteit Eindhoven. 24 p. (Computer Science Reports; vol. 19-05)
Research output: Book/Report › Report › Academic

Open Access
File
680 Downloads (Pure)