Deriving denotational models for bisimulation from structured operational semantics:
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Rutten, Jan J. (VerfasserIn)
Format: Buch
Sprache:Undetermined
Veröffentlicht: Amsterdam 1989
Schriftenreihe:Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS 89,55
Beschreibung:17 S.

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!