Peter Ochsenschläger

Peter Ochsenbein

TitelISBN-13
(ISBN-10)
Erscheinungsjahr
Modellierung verteilter Systeme: Konzeption, Formale Spezifikation und Verifikation mit Produktnetzen978-3-528-O5433-5
(3-528-O5433-6)
1995

Peter Ocker