The following pages link to Roope Kaivola (Q1349726):
Displaying 7 items.
- On modal mu-calculus and Büchi tree automata (Q1349728) (← links)
- Axiomatising extended computation tree logic (Q1389439) (← links)
- (Q2754053) (← links)
- (Q4787230) (← links)
- (Q4818844) (← links)
- Computer Aided Verification (Q5716553) (← links)
- Axiomatising extended computation tree logic (Q5878903) (← links)
