Pages that link to "Item:Q3296331"
From MaRDI portal
The following pages link to Analyzing Guarded Protocols: Better Cutoffs, More Systems, More Expressivity (Q3296331):
Displayed 5 items.
- Parameterized model checking of networks of timed automata with Boolean guards (Q1989334) (← links)
- Checking deadlock-freedom of parametric component-based systems (Q1996857) (← links)
- Computing parameterized invariants of parameterized Petri nets (Q2117165) (← links)
- Parameterized synthesis of self-stabilizing protocols in symmetric networks (Q2303887) (← links)
- Structural Invariants for the Verification of Systems with Parameterized Architectures (Q5039511) (← links)