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

Статья

An invariant-based approach to the verification of asynchronous parameterized networks

Journal of symbolic computation. 2010. Vol. 45. No. 11. P. 1144-1162.
Zakharov V., Коннов И. В.