Verimag

bibtex

@article{Sta08,
    title = { Formal Analysis Tools for the Synchronous Aspect Language Larissa },
    author = {Stauch, David},
    year = {2008},
    journal = {EURASIP Journal on Embedded Systems},
    pages = {18},
    team = {SYNC},
}

URL

Publication Sections


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

info visites 792956