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