Verimag

bibtex

@article{HCR+91b,
    title = {Programmation et V\'erification des syst\`emes r\'eactifs: Le langage \lustre },
    author = {Halbwachs, Nicolas and Caspi, Paul and Raymond, Pascal and Pilaud, Daniel},
    year = {1991},
    journal = {Technique et Science Informatique},
    number = {2},
    pages = {139--158},
    volume = {10},
    team = {SYNC},
}

Publication Sections


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

info visites 876967