Modellierung verteilter Systeme : Konzeption, formale spezifikation und verifikation mit produktnetzen

Bok av Peter Ochsenschlager