Verimag

bibtex

@inproceedings{CCM+03a,
    title = {Translating Discrete-Time {S}imulink to {L}ustre },
    author = {Caspi, Paul and Curic, Adrian and Maignan, Aude and Sofronis, Christos and Tripakis, Stavros},
    year = {2003},
    booktitle = {Embedded Software EMSOFT2003},
    pages = {84--99},
    publisher = {Springer Verlag},
    series = {Lecture Notes in Computer Science},
    volume = {2855},
    team = {SYNC},
}

Publication Sections


Contact | Site Map | Site created with SPIP 2.1.26 + AHUNTSIC [CC License]

Logged in visitors: 16 ; visits: 451879