Formalized specification and analysis of a virtual file system

Bibliographische Detailangaben

1. Verfasser:	Bochmann, Gregor von (VerfasserIn)
Weitere Verfasser:	Henckel, Lutz (VerfasserIn), Popescu-Zeletin, Radu (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin 1982
Schriftenreihe:	Berichte des Hahn-Meitner-Instituts 367
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!