Skip to main content

Automata‚ Model Checking and Synthesis for Linear Time Temporal Logics

Matthew Hague

Note
DPhil. Transfer Thesis
Year
2006