A user interface for a game-based protocol verification tool

Laud, P.; Tšahhirov, I. (2009). A user interface for a game-based protocol verification tool. Preproceedings of the Workshop on Formal Aspects in Security and Trust, FAST 2009: Workshop on Formal Aspects in Security and Trust (FAST 2009); Eindhoven, Netherlands; 5.-6.11.2009. Toim. Degano, P.; Guttman, J.
publitseeritud konverentsiettekanne
Laud, P.; Tšahhirov, I.
Preproceedings of the Workshop on Formal Aspects in Security and Trust, FAST 2009
Degano, P.; Guttman, J.
Workshop on Formal Aspects in Security and Trust (FAST 2009); Eindhoven, Netherlands; 5.-6.11.2009
2009
Ilmunud
3.4. Artiklid/ettekanded, mis on avaldatud valdkonda 3.1. mittekuuluvates konverentsikogumikes

Viited terviktekstile