Biblioteka UMCS udostępnia 48 784 obiektów cyfrowych
Obiekt
Tytuł: Effective reduction of cryptographic protocols specification for model-checking with Spin
Opis:
Wydawca:
Wydaw. Uniwersytetu Marii Curie-Skłodowskiej
Miejsce wydania:
Współtwórca:
Uniwersytet Marii Curie-Skłodowskiej (Lublin)
Format:
Identyfikator zasobu:
Język:
Powiązania:
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica. Vol. 11,3 (2011)
Prawa:
Biblioteka Uniwersytetu Marii Curie-Skłodowskiej
Kolekcje, do których przypisany jest obiekt:
Data ostatniej modyfikacji:
20 cze 2016
Data dodania obiektu:
14 paź 2014
Liczba wyświetleń treści obiektu:
115
Liczba wyświetleń treści obiektu w formacie DjVu
114
Wszystkie dostępne wersje tego obiektu:
https://bc.umcs.pl/publication/18300
Wyświetl opis w formacie RDF:
Wyświetl opis w formacie OAI-PMH:
Obiekty Podobne
Krawczyk, Urszula Sapiecha, Piotr Uniwersytet Marii Curie-Skłodowskiej (Lublin)
2012
czasopismo
×