Widok standardowy Widok MARC

Jakubowska, Gizela. (Hasło osobowe)

Forma preferowana: Jakubowska, Gizela.

Verifying timed properties of security protocols / Gizela Jakubowska, Wojciech Penczek. - Warszawa, 2006.