Bruns, W. (1990). Zur Verifikation paralleler Prozesse in Ada.
Chicago-Zitierstil (17. Ausg.)Bruns, Wolfgang. Zur Verifikation Paralleler Prozesse in Ada. 1990.
MLA-Zitierstil (9. Ausg.)Bruns, Wolfgang. Zur Verifikation Paralleler Prozesse in Ada. 1990.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.