Institut for Datalogi

Aarhus University Seal / Aarhus Universitets segl
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

Links

DOI

OriginalsprogEngelsk
Titel41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)
Vol/bind´
Udgivelsesår2021
Sider42:1-42:23
ISBN (trykt)978-3-95977-215-0
DOI
StatusUdgivet - 2021
SerietitelLeibniz International Proceedings in Informatics
Vol/bind213
ISSN1868-8969

Se relationer på Aarhus Universitet Citationsformater

ID: 229111762