Formal specification and verification of distributed systems

Bibliographische Detailangaben

1. Verfasser:	Chen, B. (VerfasserIn)
Weitere Verfasser:	Yeh, R. (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	1983
Schriftenreihe:	Reports / MARYLAND UNIV TR-1295
Schlagworte:	Bericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!