Catching a structural bug with a flower (Q2803577)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Catching a structural bug with a flower |
scientific article; zbMATH DE number 6575697
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Catching a structural bug with a flower |
scientific article; zbMATH DE number 6575697 |
Statements
2 May 2016
0 references
vector addition system with states
0 references
structural properties
0 references
counter-example
0 references
dynamic graph
0 references
zero-cycle
0 references
Catching a structural bug with a flower (English)
0 references
