Quantitative Verification on Product Graphs of Small Treewidth

Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Andreas Pavlogiannis

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

Fingerprint

Dive into the research topics of 'Quantitative Verification on Product Graphs of Small Treewidth'. Together they form a unique fingerprint.

Computer Science

Mathematics