DOI,IST REx ID,Research Group,Title of publication
10.15479/at:ista:10199,10199,"GradSch,KrCh",Improved verification techniques for concurrent systems