The following pages link to Sjoerd Cranen (Q549179):
Displaying 7 items.
- A linear translation from CTL\(^*\) to the first-order modal \(\mu \)-calculus (Q549180) (← links)
- Parity game reductions (Q1656552) (← links)
- Proof Graphs for Parameterised Boolean Equation Systems (Q2842127) (← links)
- A Cure for Stuttering Parity Games (Q2915107) (← links)
- Abstraction in Fixpoint Logic (Q5277894) (← links)
- An Overview of the mCRL2 Toolset and Its Recent Advances (Q5326326) (← links)
- Evidence for Fixpoint Logic (Q5351951) (← links)
