- Home
- Proceedings
- AAMAS
- AAMAS 2004
Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004.
State-space reduction techniques in agent verification
Year: 2004, Volume: 1, Pages: 896-903
Abstract
