Verimag

bibtex

@article{HCR+91c,
    title = { The synchronous dataflow programming language \lustre },
    author = {Halbwachs, Nicolas and Caspi, Paul and Raymond, Pascal and Pilaud, Daniel},
    month = {sep},
    year = {1991},
    journal = {Proceedings of the IEEE},
    number = {9},
    pages = {1305-1320},
    volume = {79},
    team = {SYNC},
}

URL

Publication Sections


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

info visites 876204