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

Book chapter

Верификация моделей реагирующих систем относительно одного расширения темпоральной логики CTL*

С. 263-266.
Гнатенко А. Р., Захаров В. А.