jump to main-menu
jump to main content
Heinrich-Heine-Universität Düsseldorf
Quicksearch:
OK
Extended Search
E-Pflicht-Sammlung
ULB
E-Pflichtsammlung
Delivery process
Enter
Lists
Title
Author / Collaborator
Place
Publisher
Year
New Additions
Clouds
Authors / Collaborators
Printing place
Printer / Publisher
Year
Weitere E-Pflichtsammlungen
Publikationen aus dem Regierungsbezirk Köln
Publikationen aus den Regierungsbezirken Münster, Detmold und Arnsberg
Title
Title
Bibliographic Metadata
Title
Applying the graph minor theorem to the verification of graph transformation systems
Author
Joshi, Salil
;
König, Barbara
Published
Duisburg
:
Abt. für Informatik und Angewandte Kognitionswissenschaft, Fakultät für Ingenieurwissenschaften, Univ. Duisburg-Essen
,
2012
Description
21 S. : graph. Darst.
Series
Technische Berichte der Abteilung für Informatik und Angewandte Kognitionswissenschaft. 2012,01
Keywords
Online-Ressource
URN
urn:nbn:de:hbz:061:3-36881
Restriction-Information
The document is publicly available
Links
Reference
Reference in the ULBD
Files
Applying the graph minor theorem to the verification of graph transformation systems
[
pdf
0.31 mb
]
Classification
E-Pflichtsammlung ohne Regionalbezug
→
Informatik
Stats
The PDF-Document has been downloaded
10
times.
License/Rightsstatement
Rights Reserved - Free Access - Non-commercial
