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

Глава

Transition Systems Reduction: Balancing Between Precision and Simplicity

P. 119-139.

В книге

Vol. 10470: Transactions on Petri Nets and Other Models of Concurrency XII. Berlin; Heidelberg: Springer, 2017.