An algebraic model for the specification and verification of distributed systems

Bibliographische Detailangaben

1. Verfasser:	Leitner, Gerald (VerfasserIn)
Weitere Verfasser:	Popek, Gerald J. (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Graz Inst. 1983
Schriftenreihe:	Forschungsberichte / Institute für Informationsverarbeitung 105
Schlagworte:	Bericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!