Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Andreas Pavlogiannis, Prateesh Goyal. Faster Algorithms for Algebraic Path Properties in Recursive State Machines with Constant Treewidth. In Sriram K. Rajamani, David Walker, editors, Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2015, Mumbai, India, January 15-17, 2015. pages 97-109, ACM, 2015. [doi]
@inproceedings{ChatterjeeIPG15,
title = {Faster Algorithms for Algebraic Path Properties in Recursive State Machines with Constant Treewidth},
author = {Krishnendu Chatterjee and Rasmus Ibsen-Jensen and Andreas Pavlogiannis and Prateesh Goyal},
year = {2015},
doi = {10.1145/2676726.2676979},
url = {http://doi.acm.org/10.1145/2676726.2676979},
researchr = {https://researchr.org/publication/ChatterjeeIPG15},
cites = {0},
citedby = {0},
pages = {97-109},
booktitle = {Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2015, Mumbai, India, January 15-17, 2015},
editor = {Sriram K. Rajamani and David Walker},
publisher = {ACM},
isbn = {978-1-4503-3300-9},
}