Pages that link to "Item:Q4632435"

The following pages link to Efficient local correctness checking for single and alternating boolean equation systems (Q4632435):

Displaying 3 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)