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) |
Externí odkaz: |