Skip to main content
University of Oxford Department of Computer Science
- Home
- Research
- Publications
- Automata‚ Model Checking and Synthesis for Linear Time Temporal Logics
Automata‚ Model Checking and Synthesis for Linear Time Temporal Logics
Matthew Hague
Note
DPhil. Transfer Thesis