Sergey A. Shershakov, Anna A. Kalenkova, Irina A. Lomazova. Transition Systems Reduction: Balancing Between Precision and Simplicity. T. Petri Nets and Other Models of Concurrency, 12:119-139, 2017. [doi]
No references recorded for this publication.
No citations of this publication recorded.