Difference between revisions of "Publications/duret.17.hdr"
From LRDE
(Created page with "{{Publication | published = true | date = 2017-02-01 | authors = Alexandre Duret-Lutz | title = Contributions to LTL and ω-Automata for Model Checking | school = Université ...") |
(No difference)
|
Revision as of 17:31, 20 February 2017
- Authors
- Alexandre Duret-Lutz
- Type
- phdthesis
- Date
- 2017-02-01
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}
}