Ein mathematisches Verfahren zur automatisierten Verifikation von KommunikationsprotokollenHans EckertUitverkocht4,3Volgen