The following pages link to (Q4037390):
Displaying 11 items.
- CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks (Q548484) (← links)
- \(\infty\)-regular temporal logic and its model checking problem (Q1199535) (← links)
- Linear, branching time and joint closure semantics for temporal logic (Q1863748) (← links)
- Branching-time temporal logic and tree automata (Q1917081) (← links)
- Compositional verification of asynchronous concurrent systems using CADP (Q2350492) (← links)
- Linear time Datalog and branching time logic (Q2734948) (← links)
- A Linear-Time–Branching-Time Spectrum of Behavioral Specification Theories (Q2971124) (← links)
- (Q4235435) (← links)
- Buy one, get one free!!! (Q4895547) (← links)
- On the Complexity of Temporal-Logic Path Checking (Q5167829) (← links)
- Finite and Circular Path Models for Branching Time Logics (Q5753939) (← links)
