Search for persons
X
?
Proceedings of the 12th International Conference on Artificial Intelligence and Law ,
9
Modular argumentation for modelling legal doctrines of perf..:
, In:
?
Proceedings of the 2004 ACM workshop on Formal methods in security engineering ,
13
Stepwise development of security protocols : a speech ac..:
, In:
?
Proceedings of the second international joint conference on Autonomous agents and multiagent systems ,
14