Pages that link to "Item:Q5357724"
From MaRDI portal
The following pages link to Verification of Population Protocols (Q5357724):
Displayed 6 items.
- Existence of home states in Petri nets is decidable (Q264201) (← links)
- Parameterized model checking of rendezvous systems (Q1635829) (← links)
- Towards efficient verification of population protocols (Q2058386) (← links)
- Flat Petri nets (invited talk) (Q2117150) (← links)
- Verification of Immediate Observation Population Protocols (Q5009448) (← links)
- (Q5111624) (← links)