Pages that link to "Item:Q5941101"
From MaRDI portal
The following pages link to Well-structured transition systems everywhere! (Q5941101):
Displaying 14 items.
- Forward analysis and model checking for trace bounded WSTS (Q290914) (← links)
- On selective unboundedness of VASS (Q355513) (← links)
- Model-checking Timed Temporal Logics (Q4982129) (← links)
- Universal safety for timed Petri nets is PSPACE-complete (Q5009418) (← links)
- (Q5009453) (← links)
- (Q5089232) (← links)
- Non axiomatisability of positive relation algebras with constants, via graph homomorphisms (Q5089316) (← links)
- (Q5090970) (← links)
- On the Boundedness Problem for Higher-Order Pushdown Vector Addition Systems (Q5090985) (← links)
- The Parametric Complexity of Lossy Counter Machines (Q5092331) (← links)
- On Petri Nets with Hierarchical Special Arcs (Q5111656) (← links)
- (Q5136306) (← links)
- Parametric Verification of Weighted Systems (Q5240155) (← links)
- Verification of data-aware process models: checking soundness of Data Petri nets (Q6197587) (← links)
