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


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

info visites 4121944