Update semantics of security protocols
Vol. 142/2
Arjen Hommersom, John-Jules Meyer, Erik De Vink
Determining the environment
Vol. 169/2
Jan Broersen , Rosja Mastop, John-Jules Meyer, Paolo Turrini
Band
Titel
Autor/in