bibtex

@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},
}


Contact | Site Map | Site powered by SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4086862