| No. | Title | Author | Year |
|---|---|---|---|
| 1 | Petri Net Reachability Graphs: Decidability Status of FO Properties | Darondeau, Philippe et al. | 2011 |
| 2 | The Covering and Boundedness Problems for Branching Vector Addition Systems | Demri, Stéphane et al. | 2009 |
| Number of result pages: | 1 |
| Number of documents: | 2 |
