zum Hauptmenü
zum Inhalt
Heinrich-Heine-Universität Düsseldorf
Schnellsuche:
OK
Erweiterte Suche
E-Pflicht-Sammlung
ULB
E-Pflichtsammlung
Pflichtabgabe
Ablieferungsverfahren
Titellisten
Titel
Verfasser / Beteiligte
Ort
Verlag
Jahr
Neuzugänge
Clouds
Verfasser / Beteiligte
Orte
Verlage
Jahr
Weitere E-Pflichtsammlungen
Publikationen aus dem Regierungsbezirk Köln
Publikationen aus den Regierungsbezirken Münster, Detmold und Arnsberg
Titel
Titel
Titelaufnahme
Titel
Applying the graph minor theorem to the verification of graph transformation systems
Verfasser
Joshi, Salil
;
König, Barbara
Erschienen
Duisburg
:
Abt. für Informatik und Angewandte Kognitionswissenschaft, Fakultät für Ingenieurwissenschaften, Univ. Duisburg-Essen
,
2012
Umfang
21 S. : graph. Darst.
Serie
Technische Berichte der Abteilung für Informatik und Angewandte Kognitionswissenschaft. 2012,01
Schlagwörter
Online-Ressource
URN
urn:nbn:de:hbz:061:3-36881
Zugänglichkeit
Das Dokument ist öffentlich im Netz zugänglich.
Links
Nachweis
Nachweis in der ULBD
Dateien
Applying the graph minor theorem to the verification of graph transformation systems
[
pdf
0.31 mb
]
Klassifikation
E-Pflichtsammlung ohne Regionalbezug
→
Informatik
Statistik
Das PDF-Dokument wurde
10
mal heruntergeladen.
Nutzungshinweis
Das Medienwerk ist im Rahmen des deutschen Urheberrechts nutzbar.
