↓ Skip to main content

Petri Net Synthesis

Overview of attention for book
Attention for Chapter 11: Extracting Concurrency from Transition Systems
Altmetric Badge

Citations

dimensions_citation
113 Dimensions