## Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Andreas Pavlogiannis, Prateesh Goyal

*Faster Algorithms for Algebraic Path Properties in Recursive State Machines with Constant Treewidth*

POPL, 2015.

@inproceedings{POPL-2015-ChatterjeeIPG, author = "Krishnendu Chatterjee and Rasmus Ibsen-Jensen and Andreas Pavlogiannis and Prateesh Goyal", booktitle = "{Proceedings of the 42nd Symposium on Principles of Programming Languages}", doi = "10.1145/2676726.2676979", isbn = "978-1-4503-3300-9", pages = "97--109", publisher = "{ACM}", title = "{Faster Algorithms for Algebraic Path Properties in Recursive State Machines with Constant Treewidth}", year = 2015, }