Pages that link to "Item:Q4632435"
From MaRDI portal
The following pages link to Efficient local correctness checking for single and alternating boolean equation systems (Q4632435):
Displayed 4 items.
- CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks (Q548484) (← links)
- Parameterised Boolean equation systems (Q2571204) (← links)
- Efficient local correctness checking for single and alternating boolean equation systems (Q4632435) (← links)
- Partial-order reduction in the weak modal mu-calculus (Q6044105) (← links)