Detecting Races in Ensembles of Message Sequence Charts (Q5758125)
From MaRDI portal
scientific article; zbMATH DE number 5185793
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Detecting Races in Ensembles of Message Sequence Charts |
scientific article; zbMATH DE number 5185793 |
Statements
Detecting Races in Ensembles of Message Sequence Charts (English)
0 references
3 September 2007
0 references
