• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Статья

On the Expressive Power of Some Extensions of Linear Temporal Logic

Automatic Control and Computer Sciences, USA. 2019. Vol. 53. No. 7.
Zakharov V., Gnatenko A. R.