[Lecture Notes in Computer Science] Perspectives of Systems Informatics Volume 5947 || Cryptographic Protocols Analysis in Event B
Pnueli, Amir, Virbitskaite, Irina, Voronkov, AndreiVolume:
10.1007/97
Year:
2010
Language:
english
DOI:
10.1007/978-3-642-11486-1_24
File:
PDF, 290 KB
english, 2010