@inproceedings{DGL+95,
title = {V\'erification de propri\'et\'es de programmes \'ecrits en {Lustre} },
author = {Dubois, Christian and Ghaleb, Paul and Lagnier, Fabienne and Raymond, Pascal},
month = {january},
year = {1995},
booktitle = {RTS'95},
address = {Paris},
team = {SYNC},
}
