|
Link zu diesem Datensatz
|
https://d-nb.info/1187664278
|
Titel
|
Bisimulationen und Äquivalenzbegriffe für Transitionssysteme und Ereignisstrukturen / Martin Christgau
|
Person(en)
|
Christgau, Martin (Verfasser)
|
Verlag
|
Mannheim : Universitätsbibliothek Mannheim
|
Zeitliche Einordnung
|
Erscheinungsdatum: 1995
|
Umfang/Format
|
Online-Ressource
|
Hochschulschrift
|
Diplomarbeit, Mannheim, Universität Mannheim
|
Persistent Identifier
|
URN: urn:nbn:de:bsz:180-madoc-17504
|
URL
|
http://ub-madoc.bib.uni-mannheim.de/1750 (Verlag) (kostenfrei zugänglich)
|
Sprache(n)
|
Deutsch (ger)
|
Beziehungen
|
Reihe Informatik ; 1/95
|
Schlagwörter
|
Transitionssystem ; Bisimulation ; Äquivalenzrelation
|
Sachgruppe(n)
|
004 Informatik
|