The syntax and semantics of timed MyCRL:
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Groote, Jan F. (VerfasserIn)
Format: Buch
Sprache:Undetermined
Veröffentlicht: Amsterdam Centrum voor Wiskunde en Informatica 1997
Beschreibung:42 S.

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!