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},
}


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

info visites 4190416