Branching time and abstraction in bisimulation semantics:
Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Glabbeek, Rob van (VerfasserIn), Weijland, W. P. (VerfasserIn)
Format: Buch
Sprache:English
Veröffentlicht: Amsterdam 1991
Schriftenreihe:Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS 91,20
Beschreibung:52 S.

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!