Instytut Łączności – Państwowy Instytut Badawczy udostępnia 2 325 obiektów cyfrowych
Obiekt
Tytuł: Process calculi and the verification of security protocols, Journal of Telecommunications and Information Technology, 2002, nr 4
Opis:
Wydawca:
Instytut Łączności - Państwowy Instytut Badawczy, Warszawa
Format:
Identyfikator zasobu:
oai:bc.itl.waw.pl:675 ; ISSN 1509-4553, on-line: ISSN 1899-8852
DOI:
ISSN:
eISSN:
Źródło:
Journal of Telecommunications and Information Technology
Język:
Prawa:
Biblioteka Naukowa Instytutu Łączności
Kolekcje, do których przypisany jest obiekt:
- Biblioteka Cyfrowa Instytutu Łączności
- Biblioteka Cyfrowa Instytutu Łączności > Wydawnictwa Instytutu Łączności
- Biblioteka Cyfrowa Instytutu Łączności > Wydawnictwa Instytutu Łączności > Wydawnictwa bieżące > Journal of Telecommunications and Information Technology (JTIT)
- Biblioteka Cyfrowa Instytutu Łączności > Wydawnictwa Instytutu Łączności > Wydawnictwa archiwalne > Przegląd Prac Instytutu Łączności
Data ostatniej modyfikacji:
25 lut 2026
Data dodania obiektu:
19 kwi 2010
Liczba wyświetleń treści obiektu:
171
Wszystkie dostępne wersje tego obiektu:
https://bc.itl.waw.pl/publication/750
Wyświetl opis w formacie RDF:
Wyświetl opis w formacie OAI-PMH:
Obiekty Podobne
Shmatikov, Vitaly Comon, Hubert
2002, nr 4
artykuł
×