Christopher D. Walton
First name(s): Christopher D.
Last name(s): Walton

Publications of Christopher D. Walton
2004
Christopher D. Walton, Model Checking Agent Dialogues, in: DALT, pages 132-147, 2004