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

Sections de Publications


Contact | Plan du site | Site réalisé avec SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 873214