Verimag

bibtex

@article{BJP+12,
    title = {Synthesis of Reactive(1) designs },
    author = {Bloem, Roderick and Jobstmann, Barbara and Piterman, Nir and Pnueli, Amir and Sa'ar, Yaniv},
    year = {2012},
    journal = {J. Comput. Syst. Sci.},
    number = {3},
    pages = {911-938},
    volume = {78},
    team = {DCS},
}

Sections de Publications


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

info visites 873824