O | |
---|---|
[Odd00] | Denis Oddoux.
Génération efficace d'automates de
Büchi à partir de formules LTL.
Mémoire de D.E.A.,
Lab. Informatique Algorithmique: Fondements et
Applications, Université Paris 7, France,
June 2000.
|
Search
Displayed 1 resultList of authors
- 1