Widok standardowy
Widok MARC
Jakubowska, Gizela. (Hasło osobowe)
Verifying timed properties of security protocols / Gizela Jakubowska, Wojciech Penczek. - Warszawa, 2006.
Verifying timed properties of security protocols / Gizela Jakubowska, Wojciech Penczek. - Warszawa, 2006.