scientific article; zbMATH DE number 6850460
From MaRDI portal
Publication:4608046
zbMath1403.68063arXiv1711.09148MaRDI QIDQ4608046
Veronika Loitzenbauer, Wolfgang Dvořák, Krishnendu Chatterjee, Monika R. Henzinger
Publication date: 15 March 2018
Full work available at URL: https://arxiv.org/abs/1711.09148
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (4)
Computing bottom SCCs symbolically using transition guided reduction ⋮ Fine-grained complexity lower bounds for problems in computer aided verification ⋮ Symbolic coloured SCC decomposition ⋮ Unnamed Item
This page was built for publication:
