Aarhus University Seal / Aarhus Universitets segl

Quantitative Verification on Product Graphs of Small Treewidth

Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

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