Вернуться к Подробностям о статье Dynamic logic versus GTS: Скачать Скачать PDF