DOI,IST REx ID,Research Group,Title of publication
10.4230/LIPIcs.FSTTCS.2021.42,10629,KrCh,Quantitative verification on product graphs of small treewidth