Journal | Authors
Determining the environment
2009
Jan Broersen Rosja MastopJohn-Jules MeyerPaolo Turrini
Synthese 169/2
Update semantics of security protocols
2004
Arjen HommersomJohn-Jules MeyerErik De Vink
Synthese 142/2
