Tytuł:
Effective reduction of cryptographic protocols specification for model-checking with Spin
Autor:
Krawczyk, Urszula ; Sapiecha, Piotr
Opis:
Wydawca:
Wydaw. Uniwersytetu Marii Curie-Skłodowskiej
Miejsce wydania:
Współtwórca:
Uniwersytet Marii Curie-Skłodowskiej (Lublin)
Data wydania:
Typ zasobu:
Format:
Język:
Powiązania:
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica. Vol. 11,3 (2011)