![](/img/cover-not-exists.png)
[ACM Press the fourth international joint conference - The Netherlands (2005.07.25-2005.07.29)] Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems - AAMAS '05 - Bounded model checking for knowledge and real time
Woźna, Bozena, Lomuscio, Alessio, Penczek, WojciechYear:
2005
Language:
english
DOI:
10.1145/1082473.1082498
File:
PDF, 450 KB
english, 2005