Trapping mutual exclusion in the box calculus:
Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Esspaarza, Javier (VerfasserIn), Bruns, Glenn (VerfasserIn)
Format: Buch
Sprache:English
Veröffentlicht: Edinburgh 1994
Schriftenreihe:Laboratory for Foundations of Computer Science <Edinburgh>: LFCS report series 295
Schlagworte:
Beschreibung:23 S.

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!