• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site

Book chapter

Темпоральная логика для верификации автоматов-преобразователей

С. 204-206.
Захаров В. А., Козлова Д. Г.