Verimag

bibtex

@inproceedings{BLN+13,
    title = { Synthesizing distributed scheduling implementation for probabilistic component-based systems },
    author = {Bensalem, Saddek and Legay, Axel and Nouri, Ayoub and Peled, Doron},
    year = {2013},
    booktitle = {11th {ACM/IEEE} International Conference on Formal Methods and Models for Codesign, {MEMCODE} 2013, Portland, OR, USA, October 18-20, 2013},
    crossref = {DBLP:conf/memocode/2013},
    pages = {87--96},
    team = {DCS, RSD},
    timestamp = {Fri, 12 Feb 2016 07:36:54 +0100}, biburl = {http://dblp.uni-trier.de/rec/bib/conf/memocode/BensalemLNP13}, bibsource = {dblp computer science bibliography, http://dblp.org},
}

URL

Publication Sections


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

info visites 776626