Vol-927⫷ Vol-928 ⫸Vol-929
urn:nbn:de:0074-928-0


None⫷None⫸None
Olga Siedlecka-LamchHenryk PiechMiroslaw Kurkowski

A New Effective Approach for Modelling and Verification of Security Protocols