Tytuł:

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

Autor:

Krawczyk, Urszula ; Sapiecha, Piotr

Opis:

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

Wydawca:

Wydaw. Uniwersytetu Marii Curie-Skłodowskiej

Miejsce wydania:

Lublin

Współtwórca:

Uniwersytet Marii Curie-Skłodowskiej (Lublin)

Data wydania:

2011

Typ zasobu:

czasopismo

Format:

image/x.djvu

Język:

eng

Powiązania:

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

Prawa:

Biblioteka Uniwersytetu Marii Curie-Skłodowskiej