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

Глава

On the model checking of sequential reactive systems

P. 233-244.
Zakharov V., Kozlova D.