A Formal Methodology and Technique for Verifying Conversations in a Closed Multi-Agent System
Timothy H Lacey
Biblioscholar
2012
pokkari