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é ...") |
|||
| (4 intermediate revisions by the same user not shown) | |||
| Line 13: | Line 13: | ||
@PhDThesis<nowiki>{</nowiki> duret.17.hdr, |
@PhDThesis<nowiki>{</nowiki> duret.17.hdr, |
||
author = <nowiki>{</nowiki>Alexandre Duret-Lutz<nowiki>}</nowiki>, |
author = <nowiki>{</nowiki>Alexandre Duret-Lutz<nowiki>}</nowiki>, |
||
| − | title = <nowiki>{</nowiki>Contributions to LTL and $\omega$-Automata for Model |
+ | title = <nowiki>{</nowiki>Contributions to <nowiki>{</nowiki>LTL<nowiki>}</nowiki> and $\omega$-Automata for Model |
Checking<nowiki>}</nowiki>, |
Checking<nowiki>}</nowiki>, |
||
school = <nowiki>{</nowiki>Universit<nowiki>{</nowiki>\'e<nowiki>}</nowiki> Pierre et Marie Curie (Paris 6)<nowiki>}</nowiki>, |
school = <nowiki>{</nowiki>Universit<nowiki>{</nowiki>\'e<nowiki>}</nowiki> Pierre et Marie Curie (Paris 6)<nowiki>}</nowiki>, |
||
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}
}