Error invariants for concurrent traces (Q2281644)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 7147571
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Error invariants for concurrent traces |
scientific article; zbMATH DE number 7147571 |
Statements
Error invariants for concurrent traces (English)
0 references
3 January 2020
0 references
0.7033292651176453
0 references
0.7007468342781067
0 references
0.6858661770820618
0 references
0.6824445724487305
0 references
