Instytut Łączności – Państwowy Instytut Badawczy contains 2 325 digital objects
Object
Title: Process calculi and the verification of security protocols, Journal of Telecommunications and Information Technology, 2002, nr 4
Description:
Publisher:
Instytut Łączności - Państwowy Instytut Badawczy, Warszawa
Format:
Resource Identifier:
oai:bc.itl.waw.pl:675 ; ISSN 1509-4553, on-line: ISSN 1899-8852
DOI:
ISSN:
eISSN:
Source:
Journal of Telecommunications and Information Technology
Language:
Rights Management:
Biblioteka Naukowa Instytutu Łączności
Object collections:
- Digital Library
- Digital Library > Institute's Publications
- Digital Library > Institute's Publications > Current Publications > Journal of Telecommunications and Information Technology (JTIT)
- Digital Library > Institute's Publications > Archives > Przegląd Prac Instytutu Łączności
Last modified:
Feb 25, 2026
In our library since:
Apr 19, 2010
Number of object content hits:
171
All available object's versions:
https://ribes-54.man.poznan.pl/publication/750
Show description in RDF format:
Show description in OAI-PMH format:
Objects Similar
Shmatikov, Vitaly Comon, Hubert
2002, nr 4
artykuł
×