
[ACM Press the fifth international joint conference - Hakodate, Japan (2006.05.08-2006.05.12)] Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems - AAMAS '06 - Model checking for multivalued logic of knowledge and time
Konikowska, Beata, Penczek, WojciechAnnée:
2006
Langue:
english
DOI:
10.1145/1160633.1160661
Fichier:
PDF, 283 KB
english, 2006