The following pages link to Julien d'Orso (Q2500699):
Displayed 8 items.
- Tree regular model checking: a simulation-based approach (Q2500700) (← links)
- (Q4484482) (← links)
- (Q4804925) (← links)
- Computer Science Logic (Q5292620) (← links)
- Computer Aided Verification (Q5312912) (← links)
- Monotonic and Downward Closed Games (Q5450572) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5703778) (← links)
- Computer Aided Verification (Q5900681) (← links)