DOI,IST REx ID,Research Group,Title of publication
10.15479/AT:IST-2010-0004,5388,"KrCh,ToHe",Quantitative synthesis for concurrent programs