jump to main-menu
jump to main content
Quicksearch:
Extended Search
Heinrich-Heine-Universität Düsseldorf
Universitäts- und Landesbibliothek
Digital Collections
Search Details
Quicksearch:
false
menu
Delivery process
Enter
ULB
Digital Collections
Lists
Title
Author / Collaborator
Place
Printer / 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
Files
Deriving bisimulation congruences in the presence of negative application conditions
[1.27 mb]
Classification
E-Pflichtsammlung ohne Regionalbezug
→
Informatik
Links
Reference
Reference in the ULBD
Availability
In My Library
Stats
The PDF-Document has been downloaded
2
times.
License/Rightsstatement
Rights Reserved - Free Access - Non-commercial