Specifying and verifying multiagent systems using the cognitive agents specification language (CASL)
Specifying and verifying multiagent systems using the cognitive agents specification language (CASL)2005
Details
- First published
- 2005
- OL Work ID
- OL8076034W