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,
}