Automata‚ Model Checking and Synthesis for Linear Time Temporal Logics
Matthew Hague
Details
| Note |
DPhil. Transfer Thesis |
| Year |
2006 |
Links
Related pages
|
People |
Matthew Hague
| Note |
DPhil. Transfer Thesis |
| Year |
2006 |
|
People |