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 |
Modelling and analysing software in mCRL2
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review