DOI,IST REx ID,Research Group,Title of publication
10.1109/FMCAD.2013.6679386,1376,"KrCh,ToHe",Distributed synthesis for LTL fragments