Verimag

bibtex

@article{HPR97,
    title = { Verification of real-time systems using linear relation analysis },
    author = {Halbwachs, Nicolas and Proy, Yann-Eric and Roumanoff, Patrick},
    month = {aug},
    year = {1997},
    journal = {Formal Methods in System Design},
    number = {2},
    pages = {157--185},
    publisher = {Kluwer},
    volume = {11},
    team = {SYNC},
}

URL

Publication Sections


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

Logged in visitors: 37 ; visits: 429937