Ein mathematisches Verfahren zur automatisierten Verifikation von KommunikationsprotokollenHans EckertÉpuisé4,3Prévenez-moi