|
|
Volumn 5, Issue , 1997, Pages 16-
|
|
Model-checking of infinite graphs defined by graph grammars
a a
a
NONE
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
ALGORITHMS;
MATHEMATICAL MODELS;
SEMANTICS;
Μ-CALCULUS SEMANTICS;
ASSERTION-BASED SEMANTICS;
GRAPH GRAMMARS;
INFINITE TRANSITION GRAPHS;
GRAPH THEORY;
|
|
EID: 0007420824
PISSN: 15710661
EISSN: None
Source Type: Journal
DOI: 10.1016/S1571-0661(05)80677-2 Document Type: Conference Paper |
|
Times cited : (7)
|
|
References (0)
|