Deutsche Gesellschaftfür phänomenologische Forschung
Zeitschrift | Autoren
(2000-2009)
Update semantics of security protocols
2004
Arjen HommersomJohn-Jules MeyerErik De Vink
Synthese 142/2
