Ein mathematisches Verfahren zur automatisierten Verifikation von KommunikationsprotokollenHans EckertVyprodáno4,3Pohlídat