Towards the Verification of Attributed Graph Transformation Systems (Q3540407)
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: Towards the Verification of Attributed Graph Transformation Systems |
scientific article; zbMATH DE number 5369721
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Towards the Verification of Attributed Graph Transformation Systems |
scientific article; zbMATH DE number 5369721 |
Statements
Towards the Verification of Attributed Graph Transformation Systems (English)
0 references
20 November 2008
0 references
0.7975784540176392
0 references
0.7966588735580444
0 references
0.7789375185966492
0 references
0.7765035629272461
0 references
0.7761542201042175
0 references
