Up a level |
Number of items: 1.
Chatterjee, Krishnendu, Ibsen-Jensen, Rasmus and Pavlogiannis, Andreas
(2015)
Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs.
.
Up a level |
Chatterjee, Krishnendu, Ibsen-Jensen, Rasmus and Pavlogiannis, Andreas
(2015)
Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs.
.
Research Support, University of Liverpool
Sydney Jones Library, Abercromby Square
Liverpool
L69 3DA,
UK
+44 (0)151 794 0000