OXFORD UNIVERSITY COMPUTING LABORATORY

Automata, Model Checking and Synthesis for Linear Time Temporal Logics

Matthew Hague

info

note

DPhil. Transfer Thesis

year

2006

links

BibTeX

Download (pdf)

related pages

people

Random Image
Random Image
Random Image