Bixia Wu

• Verteilende Verfeinerung - Entwurf Und Verifikation Verteilter Algorithmen Mit Petrinetzen