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