@phdthesis{Ber92,
title = {V\'erification des syst\`emes mat\'erieles num\'eriques s\'equentiels synchrones~: Application du langage Lustre et de l'outil de v\'erification Lesar },
author = {Berkane, Bachir},
month = {oct},
year = {1992},
school = {\INPG},
team = {SYNC},
}
