39th International Conference on Application and Theory of Petri Nets and Concurrency Conference

Scholarly Activity

related documents

An Efficient Characterization of Petri Net Solvable Binary Words Conferences
Modeling Operational Semantics with Interval Orders Represented by Sequences of Antichains Conferences