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 |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.8906687498092651
0 references
0.6846029162406921
0 references
0.6828281283378601
0 references
0.6776943206787109
0 references
0.675170361995697
0 references
