Up a level |
Number of items: 1.
Chatterjee, K, Ibsen-Jensen, R ORCID: 0000-0003-4783-0389 and Pavlogiannis, A
(2021)
Quantitative Verification on Product Graphs of Small Treewidth.
In: FSTTCS 2021, 2021-12-15 - 2021-12-17, (Virtual conference).