Tutorial: Designing Distributed Software in mCRL2

Jan Friso Groote, Jeroen J. A. Keiren

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

7 Citations (Scopus)

7 Citations - based on content available in repository [source: Scopus]
1 Preprint

1 results

Filter

2021

Tutorial: Designing Distributed Software in mCRL2
Groote, J. F. & Keiren, J. J. A., 2021, (CoRR).
Research output: Working paper › Preprint › Academic