Interleaving Based Model Checking of Concurrency and Causality (Q4686524)
From MaRDI portal
scientific article; zbMATH DE number 6946158
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Interleaving Based Model Checking of Concurrency and Causality |
scientific article; zbMATH DE number 6946158 |
Statements
Interleaving Based Model Checking of Concurrency and Causality (English)
0 references
2 October 2018
0 references
