The linear time - branching time spectrum

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Glabbeek, Rob van (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	München SFB 342 1990
Schriftenreihe:	SFB-Bericht A Nr. 90,13
Schlagworte:	Bericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	Literaturverz. S. 43 - 46
Beschreibung:	46 S graph. Darst 21 cm