%0 Conference Paper %1 conf/popl/ChatterjeeGIP16 %A Chatterjee, Krishnendu %A Goharshady, Amir Kafshdar %A Ibsen-Jensen, Rasmus %A Pavlogiannis, Andreas %B POPL %D 2016 %E Bodík, Rastislav %E Majumdar, Rupak %I ACM %K dblp %P 733-747 %T Algorithms for algebraic path properties in concurrent systems of constant treewidth components. %U http://dblp.uni-trier.de/db/conf/popl/popl2016.html#ChatterjeeGIP16 %@ 978-1-4503-3549-2

@inproceedings{conf/popl/ChatterjeeGIP16, added-at = {2021-06-23T00:00:00.000+0200}, author = {Chatterjee, Krishnendu and Goharshady, Amir Kafshdar and Ibsen-Jensen, Rasmus and Pavlogiannis, Andreas}, biburl = {https://www.bibsonomy.org/bibtex/2028784484c42a20accb5f67e11238291/dblp}, booktitle = {POPL}, crossref = {conf/popl/2016}, editor = {Bodík, Rastislav and Majumdar, Rupak}, ee = {https://doi.org/10.1145/2914770.2837624}, interhash = {597b7ce88fa3f97124765237c47d29c9}, intrahash = {028784484c42a20accb5f67e11238291}, isbn = {978-1-4503-3549-2}, keywords = {dblp}, pages = {733-747}, publisher = {ACM}, timestamp = {2024-04-09T13:30:49.000+0200}, title = {Algorithms for algebraic path properties in concurrent systems of constant treewidth components.}, url = {http://dblp.uni-trier.de/db/conf/popl/popl2016.html#ChatterjeeGIP16}, year = 2016 }