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

Статья

Grade/CPN: A Tool and Temporal Logic for Testing Colored Petri Net Models in Teaching

Westergaard M., Fahland D., Stahl C.