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

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Cleaveland, Rance (VerfasserIn)
Weitere Verfasser:	Parrow, Joachim (VerfasserIn), Steffen, Bernhard (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Kista SICS 1991
Schriftenreihe:	SICS research report 91,16
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!