Search for: [Title = "Effective reduction of cryptographic protocols specification for model\-checking with Spin"]
Number of results: 1
Krawczyk, Urszula Sapiecha, Piotr Uniwersytet Marii Curie-Skłodowskiej (Lublin)
2011
czasopismo
