DOI,IST REx ID,Title of publication
null,5442,Algorithms for algebraic path properties in concurrent systems of constant treewidth components