@inproceedings{CAV-2015-ChatterjeeIP,
author = "Krishnendu Chatterjee and Rasmus Ibsen-Jensen and Andreas Pavlogiannis",
booktitle = "{Proceedings of the 27th International Conference on Computer Aided Verification, Part I}",
doi = "10.1007/978-3-319-21690-4_9",
isbn = "978-3-319-21689-8",
pages = "140--157",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs}",
volume = 9206,
year = 2015,
}
Tags: