Ochsenschläger, P., & Prinoth, R. (1995). Modellierung verteilter Systeme: Konzeption, formale Spezifikation und Verifikation mit Produktnetzen. Vieweg.
Chicago-Zitierstil (17. Ausg.)Ochsenschläger, Peter, und Rainer Prinoth. Modellierung Verteilter Systeme: Konzeption, Formale Spezifikation Und Verifikation Mit Produktnetzen. Braunschweig u.a: Vieweg, 1995.
MLA-Zitierstil (9. Ausg.)Ochsenschläger, Peter, und Rainer Prinoth. Modellierung Verteilter Systeme: Konzeption, Formale Spezifikation Und Verifikation Mit Produktnetzen. Vieweg, 1995.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.