V. Rusu, Vérification temporelle de programmes ELECTRE, PhD Thesis Ecole Centrale de Nantes, Laboratoire d'Automatique de Nantes, January 1996.

Jump to : Contact | BibTex reference | EndNote reference |

Contact

Vlad Rusu
Vlad.Rusu@irisa.fr

BibTex Reference

@PhdThesis{rusu96,
   Author = {Rusu, V.},
   Title = {Vérification temporelle de programmes ELECTRE},
   School = {Ecole Centrale de Nantes, Laboratoire d'Automatique de Nantes},
   Month = {January},
   Year = {1996}
}

EndNote Reference [help]

Get EndNote Reference (.ref)

This page has been automatically generated using the bib2html program.