Вернуться к Подробностям о статье One Way to Determine the Intervals in Hybrid Temporal Logic Скачать Скачать PDF