Verimag

bibtex

@article{GPQ12,
    title = {Achieving distributed control through model checking },
    author = {Graf, Susanne and Peled, Doron and Quinton, Sophie},
    year = {2012},
    journal = {Formal Methods in System Design},
    number = {2},
    pages = {263-281},
    volume = {40},
    team = {DCS},
}

Publication Sections


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

info visites 790551