DOI,IST REx ID,Research Group,Title of publication
10.15479/AT:ISTA:8332,8332,ToHe,"Verifying concurrent programs: Refinement, synchronization, sequentialization"