Christopher D. Walton. Model Checking Agent Dialogues. In João Alexandre Leite, Andrea Omicini, Paolo Torroni, Pinar Yolum, editors, Declarative Agent Languages and Technologies II, Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers. Volume 3476 of Lecture Notes in Computer Science, pages 132-147, Springer, 2004. [doi]
Abstract is missing.