Title:
Effective reduction of cryptographic protocols specification for model-checking with Spin
Creator:
Krawczyk, Urszula ; Sapiecha, Piotr
Description:
Publisher:
Wydaw. Uniwersytetu Marii Curie-Skłodowskiej
Place of publication:
Contributor:
Uniwersytet Marii Curie-Skłodowskiej (Lublin)
Date:
Type:
Format:
Language:
Relation:
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica. Vol. 11,3 (2011)