Understanding Behaviour of Distributed Systems Using mCRL2 (Q6488308)
From MaRDI portal
scientific article; zbMATH DE number 7672933
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Understanding Behaviour of Distributed Systems Using mCRL2 |
scientific article; zbMATH DE number 7672933 |
Statements
Understanding Behaviour of Distributed Systems Using mCRL2 (English)
0 references
5 April 2023
0 references
