Hochschulschrift
Verification of Well-Structured Graph Transformation Systems
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Duisburg, Essen, Universität Duisburg-Essen, Diss., 2016
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Duisburg, Essen
- (wer)
-
Universitätsbibliothek Duisburg-Essen
- (wann)
-
2016
- Urheber
-
Stückrath, Jan
- Beteiligte Personen und Organisationen
-
König, Barbara
- URN
-
urn:nbn:de:hbz:464-20160425-093027-1
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:59 MESZ
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
- Stückrath, Jan
- König, Barbara
- Universitätsbibliothek Duisburg-Essen
Entstanden
- 2016
Ähnliche Objekte (12)
Well-Structured Graph Transformation Systems with Negative Application Conditions
Verification of graph transformation systems with k-inductive invariants
Verification of infinite-state graph transformation systems via abstraction
Applying the Graph Minor Theorem to the Verification 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
Behavioral congruences and verification of graph transformation systems with applications to model refactoring
Efficient parameterized algorithms on structured graphs
GraphML Transformation
Dynamic Bayesian networks for formal verification of structured stochastic processes
Static verification techniques for attributed graph transformations
Well-Structured Graph Transformation Systems with Negative Application Conditions
Verification of graph transformation systems with k-inductive invariants
Verification of infinite-state graph transformation systems via abstraction
Applying the Graph Minor Theorem to the Verification 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
Behavioral congruences and verification of graph transformation systems with applications to model refactoring
Efficient parameterized algorithms on structured graphs
GraphML Transformation
Dynamic Bayesian networks for formal verification of structured stochastic processes
Static verification techniques for attributed graph transformations
Well-Structured Graph Transformation Systems with Negative Application Conditions
Verification of graph transformation systems with k-inductive invariants
Verification of infinite-state graph transformation systems via abstraction
Applying the Graph Minor Theorem to the Verification 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
Behavioral congruences and verification of graph transformation systems with applications to model refactoring
Efficient parameterized algorithms on structured graphs
GraphML Transformation
Dynamic Bayesian networks for formal verification of structured stochastic processes