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

Глава

On the expressive power of some extensions of Linear Temporal Logic

P. 29-36 .
Zakharov V., Gnatenko A. R.

В книге

Под науч. редакцией: V. Zakharov, Н. В. Шилов. Yaroslavl: Ярославский государственный университет им. П.Г. Демидова, 2018.