Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - JOUR
ID - DBLP:journals/toplas/ChatterjeeIGP18
AU - Chatterjee, Krishnendu
AU - Ibsen-Jensen, Rasmus
AU - Goharshady, Amir Kafshdar
AU - Pavlogiannis, Andreas
TI - Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components.
JO - ACM Trans. Program. Lang. Syst.
VL - 40
IS - 3
SP - 9:1
EP - 9:43
PY - 2018//
DO - 10.1145/3210257
UR - https://doi.org/10.1145/3210257
ER -
