Spezifikation und Verifikation eines "Separation of Duty"-Szenarios als verbindliche Telekooperation im Sinne des GleichgewichtsmodellsStefanie FoxVyprodánoPohlídat
