• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
  • HSE University
  • Publications of HSE
  • Articles
  • Адаптивная редукция симметричных моделей в задаче верификации моделей программ для логики линейного времени

Article

Адаптивная редукция симметричных моделей в задаче верификации моделей программ для логики линейного времени

Захаров В. А., Коннов И. В.