zum Hauptmenü
zum Inhalt
Heinrich-Heine-Universität Düsseldorf
Schnellsuche:
Erweiterte Suche
Pflichtabgabe
Ablieferungsverfahren
ULB
E-Pflichtsammlung
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.
Dateien
Applying the graph minor theorem to the verification of graph transformation systems
[0.31 mb]
Klassifikation
E-Pflichtsammlung ohne Regionalbezug
→
Informatik
Links
Nachweis
Nachweis in der ULBD
Verfügbarkeit
In meiner Bibliothek
Statistik
Das PDF-Dokument wurde
10
mal heruntergeladen.
Nutzungshinweis
Das Medienwerk ist im Rahmen des deutschen Urheberrechts nutzbar.