The concurrency workbench: a semantics based tool for the verification of concurrent systems

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Cleaveland, Rance (VerfasserIn)
Körperschaft:	Fachgruppe Informatik, Technische Hochschule Aachen (BerichterstatterIn)
Weitere Verfasser:	Parrow, Joachim (VerfasserIn), Steffen, Bernhard (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Aachen RWTH, Fachgruppe Informatik 1991
Schriftenreihe:	Aachener Informatik-Berichte 91,24
Schlagworte:	Bericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	Literaturverz. S. 38 - 42
Beschreibung:	48 S. graph. Darst.