Du er her:
» Quantitative Verification on Product Graphs of Small Tree...
Quantitative Verification on Product Graphs of Small Treewidth
Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review
Originalsprog | Engelsk |
---|
Titel | 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021) |
---|
Vol/bind | ´ |
---|
Udgivelsesår | 2021 |
---|
Sider | 42:1-42:23 |
---|
ISBN (trykt) | 978-3-95977-215-0 |
---|
DOI | |
---|
Status | Udgivet - 2021 |
---|
Serietitel | Leibniz International Proceedings in Informatics |
---|
Vol/bind | 213 |
---|
ISSN | 1868-8969 |
---|
Se relationer på Aarhus Universitet
Citationsformater
ID: 229111762