Zoekresultaten
Resultaat 1 - 1 (van 1)
R. Corin | S. Etalle An improved constraint-based system for the verification of security protocols
Non-fictie
Engels | 18 pagina's | Centre for Telematics and Information Technology, University of Twente, Enschede | 2002
Gedrukt boek