Difference between revisions of "Publications/duret.17.hdr"
From LRDE
(3 intermediate revisions by the same user not shown) | |
(No difference)
|
Latest revision as of 17:00, 12 July 2023
- 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} }