Contributions to LTL and ω-Automata for Model Checking

From LRDE

Documents

Bibtex (lrde.bib)

@PhDThesis{	  duret.17.hdr,
  author	= {Alexandre Duret-Lutz},
  title		= {Contributions to {LTL} and $\omega$-Automata for Model
		  Checking},
  school	= {Universit{\'e} Pierre et Marie Curie (Paris 6)},
  year		= {2017},
  month		= feb,
  lrdeproject	= {Spot},
  type		= {Habilitation Thesis}
}