You are here:
» Quantitative Verification on Product Graphs of Small Tree...
About Aarhus University
Quantitative Verification on Product Graphs of Small Treewidth
Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
- Krishnendu Chatterjee ,
- Rasmus Ibsen-Jensen ,
- Andreas Pavlogiannis
| Original language | English |
|---|---|
| Title of host publication | 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021) |
| Volume | ´ |
| Publication year | 2021 |
| Pages | 42:1-42:23 |
| ISBN (print) | 978-3-95977-215-0 |
| DOIs | |
| Publication status | Published - 2021 |
| Series | Leibniz International Proceedings in Informatics |
|---|---|
| Volume | 213 |
| ISSN | 1868-8969 |
See relations at Aarhus University Citationformats
ID: 229111762