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
Deriving bisimulation congruences in the presence of negative application conditions
Verfasser
Rangel, Guilherme
;
König, Barbara
;
Ehrig, Hartmut
Erschienen
Duisburg
:
Abt. für Informatik und Angewandte Kognitionswissenschaft, Fakultät für Ingenieurwissenschaften, Univ. Duisburg-Essen
,
2008
Umfang
31 S. : graph. Darst.
Serie
Technische Berichte der Abteilung für Informatik und Angewandte Kognitionswissenschaft. 2008,01
Schlagwörter
Online-Ressource
URN
urn:nbn:de:hbz:061:3-36904
Zugänglichkeit
Das Dokument ist öffentlich im Netz zugänglich.
Dateien
Deriving bisimulation congruences in the presence of negative application conditions
[1.27 mb]
Klassifikation
E-Pflichtsammlung ohne Regionalbezug
→
Informatik
Links
Nachweis
Nachweis in der ULBD
Verfügbarkeit
In meiner Bibliothek
Statistik
Das PDF-Dokument wurde
8
mal heruntergeladen.
Nutzungshinweis
Das Medienwerk ist im Rahmen des deutschen Urheberrechts nutzbar.