Title:

Effective reduction of cryptographic protocols specification for model-checking with Spin

Creator:

Krawczyk, Urszula ; Sapiecha, Piotr

Description:

Artykuł z: Annales Universitatis Mariae Curie-Skłodowska, Sectio AI, Informatica, Vol. 11,3 (2011), s. 27-40

Publisher:

Wydaw. Uniwersytetu Marii Curie-Skłodowskiej

Place of publication:

Lublin

Contributor:

Uniwersytet Marii Curie-Skłodowskiej (Lublin)

Date:

2011

Type:

czasopismo

Format:

image/x.djvu

Language:

eng

Relation:

Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica. Vol. 11,3 (2011)

Rights:

Biblioteka Uniwersytetu Marii Curie-Skłodowskiej