Spezifikation und Verifikation eines "Separation of Duty"-Szenarios als verbindliche Telekooperation im Sinne des GleichgewichtsmodellsStefanie FoxUitverkocht4,3Hou mij op de hoogte