Modelling and analysing software in mCRL2

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationFormal Aspects of Component Software.
Subtitle of host publicationFACS 2019
EditorsFahrad Arbab, Sung-Shik Jongmans
Place of PublicationCham.
PublisherSpringer
Pages25-48
VolumeLNCS 12018
Publication statusPublished - 2020

Cite this