Contributions to LTL and ω-Automata for Model Checking
From LRDE
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
- 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}
}