DOI,IST REx ID,Research Group,Title of publication
10.4230/LIPIcs.ICALP.2016.98,1070,KrCh,Computation tree logic for synchronization properties