Verimag

bibtex

@article{BCG+14,
    title = {Synthesizing robust systems },
    author = {Bloem, Roderick and Chatterjee, Krishnendu and Greimel, Karin and Henzinger, Thomas A. and Hofferek, Georg and Jobstmann, Barbara and Konighofer, Bettina and K\"onighofer, Robert},
    year = {2014},
    journal = {Acta Inf.},
    number = {3},
    pages = {193-220},
    volume = {51},
    team = {DCS},
}

Publication Sections


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

info visites 915002