Chatterjee, Krishnendu, Ibsen-Jensen, Rasmus and Pavlogiannis, Andreas
(2015)
Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs.
.
![[img]](https://livrepository.liverpool.ac.uk/style/images/fileicons/text.png) |
Text
minmeancycle.pdf - Accepted Version Download (884kB) |
| Item Type: | Conference or Workshop Item (Unspecified) |
|---|---|
| Depositing User: | Symplectic Admin |
| Date Deposited: | 06 Dec 2018 09:11 |
| Last Modified: | 19 Jul 2022 11:41 |
| DOI: | 10.1007/978-3-319-21690-4_9 |
| Related URLs: | |
| URI: | https://livrepository.liverpool.ac.uk/id/eprint/3029588 |
Dimensions
Dimensions
DimensionsAltmetric
Share
CORE (COnnecting REpositories)