Inductive data flow graphs (Q2931789)
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: Inductive data flow graphs |
scientific article; zbMATH DE number 6374668
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Inductive data flow graphs |
scientific article; zbMATH DE number 6374668 |
Statements
Inductive data flow graphs (English)
0 references
27 November 2014
0 references
concurrency
0 references
static analysis
0 references
verification
0 references
0.7408513426780701
0 references
0.7403033375740051
0 references
0.7386822700500488
0 references
0.7301706671714783
0 references
