Verimag

bibtex

@inproceedings{Hal05,
    title = { A synchronous language at work: the story of {L}ustre },
    author = {Halbwachs, Nicolas},
    month = {jul},
    year = {2005},
    booktitle = {Third ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE'2005},
    address = {Verona, Italy},
    team = {SYNC},
}

URL

Sections de Publications


Contact | Plan du site | Site réalisé avec SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 876095