1. Главная
  2. Полный текст публикации: Linear Temporal Logic with Non-transitive Time, Algorithms for Decidability and Verification of Admissibility : материалы временных коллективов

Полный текст публикации: Linear Temporal Logic with Non-transitive Time, Algorithms for Decidability and Verification of Admissibility : материалы временных коллективов

Полный текст не загружен, но возможно он доступен по одной из следующих ссылок:

  1. DOI 10.1007/978-3-319-69917-2_11 (переход на страницу публикации на сайте издателя)
  2. РИНЦ (eLIBRARY.RU) (справа ссылка «Загрузить полный текст»)
  3. Web of Science Core Collection (вверху кнопка «Полный текст от издателя») (если при открытии ссылки возникла ошибка, то попробуйте открыть ссылку повторно)
  4. Scopus (вверху ссылка «Скачать»)
  5. Поиск в Академии Google

Вернуться на страницу публикации