Ein mathematisches Verfahren zur automatisierten Verifikation von KommunikationsprotokollenHans EckertAgotado4,3Notifícame