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