Hochschulschrift
Verification of infinite-state graph transformation systems via abstraction
- Weitere Titel
-
Verifikation von Graphtransformationssystemen mit unendlichem Zustandsraum mittels Abstraktion
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Anmerkungen
-
Paderborn, Universität Paderborn, Diss., 2015
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Paderborn
- (wer)
-
Universitätsbibliothek
- (wann)
-
2015
- Urheber
-
Steenken, Dominik
- URN
-
urn:nbn:de:hbz:466:2-15768
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:45 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Steenken, Dominik
- Universitätsbibliothek
Entstanden
- 2015
Ähnliche Objekte (12)
Abstraction and abstraction refinement in the verification of graph transformation systems
Abstraction and abstraction refinement in the verification of graph transformation systems
Graph grammar verification through abstraction
Cluster abstraction of graph transformation systems
Analysis and Abstraction of Graph Transformation Systems via Type Graphs
Abstraction-based verification of parameterized networks
Abstraction-based verification of parameterized networks
Verification of Well-Structured Graph Transformation Systems
Graph-Based Procedural Abstraction
Formal abstraction and verification of analog circuits
Cartesian abstraction and verification of multithreaded programs
Counterexample-guided abstraction refinement for the analysis of graph transformation systems
Abstraction and abstraction refinement in the verification of graph transformation systems
Abstraction and abstraction refinement in the verification of graph transformation systems
Graph grammar verification through abstraction
Cluster abstraction of graph transformation systems
Analysis and Abstraction of Graph Transformation Systems via Type Graphs
Abstraction-based verification of parameterized networks
Abstraction-based verification of parameterized networks
Verification of Well-Structured Graph Transformation Systems
Graph-Based Procedural Abstraction
Formal abstraction and verification of analog circuits
Cartesian abstraction and verification of multithreaded programs
Counterexample-guided abstraction refinement for the analysis of graph transformation systems
Abstraction and abstraction refinement in the verification of graph transformation systems
Abstraction and abstraction refinement in the verification of graph transformation systems
Graph grammar verification through abstraction
Cluster abstraction of graph transformation systems
Analysis and Abstraction of Graph Transformation Systems via Type Graphs
Abstraction-based verification of parameterized networks
Abstraction-based verification of parameterized networks
Verification of Well-Structured Graph Transformation Systems
Graph-Based Procedural Abstraction
Formal abstraction and verification of analog circuits
Cartesian abstraction and verification of multithreaded programs