Spezifikation und Verifikation eines "Separation of Duty"-Szenarios als verbindliche Telekooperation im Sinne des GleichgewichtsmodellsStefanie FoxÉpuisé4,3Prévenez-moi
