DOI,IST REx ID,Research Group,Title of publication
10.15479/at:ista:1130,1130,"ToHe,GradSch",Automatic synthesis of synchronisation primitives for concurrent programs