Spezifikation und Verifikation eines "Separation of Duty"-Szenarios als verbindliche Telekooperation im Sinne des GleichgewichtsmodellsStefanie FoxAgotado4,3Notifícame
