Pages that link to "Item:Q5717501"
From MaRDI portal
The following pages link to Formal Modeling and Analysis of Timed Systems (Q5717501):
Displayed 6 items.
- A lazy approach to symmetry reduction (Q613132) (← links)
- Efficient approximate verification of B and Z models via symmetry markers (Q622591) (← links)
- Symmetry and partial order reduction techniques in model checking Rebeca (Q845239) (← links)
- How to stop time stopping (Q855006) (← links)
- Model Checking Real-Time Systems (Q3176387) (← links)
- Towards Efficient Verification of Systems with Dynamic Process Creation (Q5505602) (← links)