Biblioteka UMCS contains 48 784 digital objects
Object
Title: Effective reduction of cryptographic protocols specification for model-checking with Spin
Description:
Publisher:
Wydaw. Uniwersytetu Marii Curie-Skłodowskiej
Place of publication:
Contributor:
Uniwersytet Marii Curie-Skłodowskiej (Lublin)
Format:
Identifier:
Language:
Relation:
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica. Vol. 11,3 (2011)
Rights:
Biblioteka Uniwersytetu Marii Curie-Skłodowskiej
Object collections:
Last modified:
Jun 20, 2016
In our library since:
Oct 14, 2014
Number of object content hits:
115
Number of object content views in DjVu format
114
All available object's versions:
https://bc.umcs.pl/publication/18300
Show description in RDF format:
Show description in OAI-PMH format:
Objects Similar
Krawczyk, Urszula Sapiecha, Piotr Uniwersytet Marii Curie-Skłodowskiej (Lublin)
2012
czasopismo
×