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
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.
Links
Nachweis
Nachweis in der ULBD
Dateien
Deriving bisimulation congruences in the presence of negative application conditions
[
pdf
1.27 mb
]
Klassifikation
E-Pflichtsammlung ohne Regionalbezug
→
Informatik
Statistik
Das PDF-Dokument wurde
11
mal heruntergeladen.
Nutzungshinweis
Das Medienwerk ist im Rahmen des deutschen Urheberrechts nutzbar.
