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


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

info visites 4121953