Zur Verifikation paralleler Prozesse in Ada
By: Wolfgang Bruns
Published: 1991
Language: ger
Number of pages: 154
Notes: Thesis (doctoral)--Technische Universität Carolo-Wilhelmina zu Braunschweig, 1991.