An automatic protocol composition checker

Autor: Kojovic, Ivana
Přispěvatelé: Gligoroski, Danilo, Mödersheim, Sebastian Alexander, Norges teknisk-naturvitenskapelige universitet, Fakultet for informasjonsteknologi, matematikk og elektroteknikk, Institutt for telematikk
Databáze: NORA (Norwegian Open Research Archive)