Efficient symbolic implementation of graph automata with applications to invariant checking (Q2918989)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6089216
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Efficient symbolic implementation of graph automata with applications to invariant checking |
scientific article; zbMATH DE number 6089216 |
Statements
Efficient Symbolic Implementation of Graph Automata with Applications to Invariant Checking (English)
0 references
2 October 2012
0 references
0.7909959554672241
0 references
0.7661289572715759
0 references
0.7406045794487
0 references
0.7334516048431396
0 references
0.7271349430084229
0 references
