Szukana fraza: [Tytuł = "Effective reduction of cryptographic protocols specification for model\-checking with Spin"]
Wyników: 1
Krawczyk, Urszula Sapiecha, Piotr Uniwersytet Marii Curie-Skłodowskiej (Lublin)
2011
czasopismo
