Family-Based Model Checking with mCRL2 (Q5215913)
From MaRDI portal
scientific article; zbMATH DE number 7167170
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Family-Based Model Checking with mCRL2 |
scientific article; zbMATH DE number 7167170 |
Statements
Family-Based Model Checking with mCRL2 (English)
0 references
13 February 2020
0 references
