DMCA

Modeling and Verifying Multi-Agent Behaviors Using Predicate Transition Nets (2002)

by Dianxiang Xu , Richard A. Volz , Thomas R. Ioerger , John Yen
Venue:Proc. of the 14th International Conference on Software Engineering and Knowledge Engineering
Citations:12 - 1 self