UnivIS
Informationssystem der Otto-Friedrich-Universität Bamberg © Config eG 
Ruppelt, Th. ; Wirtz, Guido:
From Mathematical Specifications to Parallel Programs on a Message-Based System .
In: Research Report 880401. Univ. Bonn (1988), Nr. 4,

Institution: Lehrstuhl für Praktische Informatik
UnivIS ist ein Produkt der Config eG, Buckenhof