Difference between revisions of "Publications/duret.17.hdr"
From LRDE
| Line 5: | Line 5: | ||
| title = Contributions to LTL and ω-Automata for Model Checking |
| title = Contributions to LTL and ω-Automata for Model Checking |
||
| school = Université Pierre et Marie Curie (Paris 6) |
| school = Université Pierre et Marie Curie (Paris 6) |
||
| + | | nodoi = |
||
| lrdeproject = Spot |
| lrdeproject = Spot |
||
| lrdepaper = http://www.lrde.epita.fr/dload/papers/duret.17.hdr.pdf |
| lrdepaper = http://www.lrde.epita.fr/dload/papers/duret.17.hdr.pdf |
||
| Line 10: | Line 11: | ||
| type = phdthesis |
| type = phdthesis |
||
| id = duret.17.hdr |
| id = duret.17.hdr |
||
| − | | identifier = doi:FIXME |
||
| bibtex = |
| bibtex = |
||
@PhDThesis<nowiki>{</nowiki> duret.17.hdr, |
@PhDThesis<nowiki>{</nowiki> duret.17.hdr, |
||
| Line 19: | Line 19: | ||
year = <nowiki>{</nowiki>2017<nowiki>}</nowiki>, |
year = <nowiki>{</nowiki>2017<nowiki>}</nowiki>, |
||
month = feb, |
month = feb, |
||
| − | + | nodoi = <nowiki>{</nowiki><nowiki>}</nowiki>, |
|
lrdeproject = <nowiki>{</nowiki>Spot<nowiki>}</nowiki>, |
lrdeproject = <nowiki>{</nowiki>Spot<nowiki>}</nowiki>, |
||
type = <nowiki>{</nowiki>Habilitation Thesis<nowiki>}</nowiki> |
type = <nowiki>{</nowiki>Habilitation Thesis<nowiki>}</nowiki> |
||
Revision as of 10:39, 22 April 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,
nodoi = {},
lrdeproject = {Spot},
type = {Habilitation Thesis}
}