DOI,IST REx ID,Research Group,Title of publication
10.1145/3210257,6009,KrCh,Algorithms for algebraic path properties in concurrent systems of constant treewidth components