bibtex

@article{HCR+1,
    title = { {The synchronous dataow programming language LUSTRE} },
    author = {Halbwachs, Nicolas and Caspi, Paul and Raymond, Pascal and Pilaud, Daniel},
    year = {1991},
    journal = {{Proceedings of the IEEE}},
    number = {9},
    pages = {1305-1320},
    publisher = {{Institute of Electrical and Electronics Engineers}},
    volume = {79},
    team = {SYNC, PACSS},
    pdf = {https://hal.science/hal-05028988v1/file/lustre.ieee91.pdf}, hal_id = {hal-05028988}, hal_version = {v1},
}

URL


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

info visites 4679650