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