Вернуться к Подробностям о статье
Model checking for coalition announcement logic
Скачать
Скачать PDF