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

Статья

On the Model Checking of Finite State Transducers over Semigroups

Gnatenko A. R., Zakharov V.