Pages that link to "Item:Q2852063"
From MaRDI portal
The following pages link to A short visit to the STS hierarchy (Q2852063):
Displaying 4 items.
- A classification of the expressive power of well-structured transition systems (Q553290) (← links)
- A Language-Based Comparison of Extensions of Petri Nets with and without Whole-Place Operations (Q3618568) (← links)
- How to Tackle Integer Weighted Automata Positivity (Q3646253) (← links)
- A classification of symbolic transition systems (Q5277714) (← links)