Pages that link to "Item:Q5505619"
From MaRDI portal
The following pages link to Instantiation for Parameterised Boolean Equation Systems (Q5505619):
Displayed 6 items.
- A linear translation from CTL\(^*\) to the first-order modal \(\mu \)-calculus (Q549180) (← links)
- Verification of reactive systems via instantiation of parameterised Boolean equation systems (Q716322) (← links)
- Invariants for parameterised Boolean equation systems (Q960855) (← links)
- Invariants for Parameterised Boolean Equation Systems (Q3541018) (← links)
- Static Analysis Techniques for Parameterised Boolean Equation Systems (Q3617762) (← links)
- Instantiation for Parameterised Boolean Equation Systems (Q5505619) (← links)