Contributions to LTL and ω-Automata for Model Checking

From LRDE

Revision as of 16:35, 8 September 2017 by Bot (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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