Titel |
Symbolic model generation for graph properties / Sven Schneider, Leen Lambers, Fernando Orejas |
|---|---|
Beteiligt |
Sven Schneider (Verfasser) |
Erschienen |
Potsdam: Universität Potsdam |
Umfang |
Online-Ressource |
Sprache |
|
Land |
|
Themengebiet |
|
Thema |
model generation
nested graph conditions tableau method graph transformation
satisfiabilitiy solving
Modellerzeugung verschachtelte Graphbedingungen Tableaumethode Graphtransformation Erfüllbarkeitsanalyse Graphbedingungen conditions generation graph method model nested satisfiabilitiy solving tableau transformation verschachtelte |
DDC-Notation |
|
Reihe |
Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam ; 115 |
Persistent Identifier |
|
Datensatz-ID |
1218866837 |
Hinweis
Die Betaversion beinhaltet noch nicht alle Funktionen und Informationen des Katalogs des DNB-Portals. Falls Sie Informationen vermissen oder ein Medium bestellen wollen, besuchen Sie bitte die entsprechende Seite im Katalog des DNB-Portals über folgenden Link: