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

Статья

Prosega/CPN: An Extension of CPN Tools for Automata-based Analysis and System Verification

Carrasquel Gamez J. C., Morales A., Villapol M. E.