Contributions to LTL and ω-Automata for Model Checking

Authors

Alexandre Duret-Lutz

Type

phdthesis

Date

2017-02-01

Documents

• Paper

• Slides

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}
}