Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
Technische Berichte der Abteilung für Informatik und Angewandte Kognitionswissenschaft ; Bd. 2012-01
- Event
-
Veröffentlichung
- (where)
-
Duisburg, Essen
- (who)
-
Universität Duisburg-Essen
- (when)
-
2012
- Creator
- URN
-
urn:nbn:de:hbz:464-20120425-104604-5
- Rights
-
Open Access unbekannt; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:56 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Joshi, Salil
- König, Barbara
- Universität Duisburg-Essen
Time of origin
- 2012
Other Objects (12)
Graph grammar verification through abstraction
Matching minors in bipartite graphs
Coloring graphs with forbidden minors
Matching minors in bipartite graphs
The excluded minor structure theorem, and linkages in large graphs of bounded tree-width
Vertex maps on graphs-trace theorems
On Gallai's decomposition theorem for graphs
AN ISOMORPHISM THEOREM FOR UNICYCLIC GRAPHS
The bandwidth theorem in sparse graphs
Static verification techniques for attributed graph transformations
Verification of Well-Structured Graph Transformation Systems
Static Verification Techniques for Attributed Graph Transformations
Graph grammar verification through abstraction
Matching minors in bipartite graphs
Coloring graphs with forbidden minors
Matching minors in bipartite graphs
The excluded minor structure theorem, and linkages in large graphs of bounded tree-width
Vertex maps on graphs-trace theorems
On Gallai's decomposition theorem for graphs
AN ISOMORPHISM THEOREM FOR UNICYCLIC GRAPHS
The bandwidth theorem in sparse graphs
Static verification techniques for attributed graph transformations
Verification of Well-Structured Graph Transformation Systems
Static Verification Techniques for Attributed Graph Transformations
Graph grammar verification through abstraction
Matching minors in bipartite graphs
Coloring graphs with forbidden minors
Matching minors in bipartite graphs
The excluded minor structure theorem, and linkages in large graphs of bounded tree-width
Vertex maps on graphs-trace theorems
On Gallai's decomposition theorem for graphs
AN ISOMORPHISM THEOREM FOR UNICYCLIC GRAPHS
The bandwidth theorem in sparse graphs
Static verification techniques for attributed graph transformations
Verification of Well-Structured Graph Transformation Systems