No label defined (Q3130550)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
23 January 2018
0 references
total store order
0 references
weak memory models
0 references
reachability problem
0 references
parameterized systems
0 references
well-quasi-ordering
0 references
