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
Deriving bisimulation congruences in the presence of negative application conditions
Author
Rangel, Guilherme
;
König, Barbara
;
Ehrig, Hartmut
Published
Duisburg
:
Abt. für Informatik und Angewandte Kognitionswissenschaft, Fakultät für Ingenieurwissenschaften, Univ. Duisburg-Essen
,
2008
Description
31 S. : graph. Darst.
Series
Technische Berichte der Abteilung für Informatik und Angewandte Kognitionswissenschaft. 2008,01
Keywords
Online-Ressource
URN
urn:nbn:de:hbz:061:3-36904
Restriction-Information
The document is publicly available
Links
Reference
Reference in the ULBD
Files
Deriving bisimulation congruences in the presence of negative application conditions
[
pdf
1.27 mb
]
Classification
E-Pflichtsammlung ohne Regionalbezug
→
Informatik
Stats
The PDF-Document has been downloaded
9
times.
License/Rightsstatement
Rights Reserved - Free Access - Non-commercial
