TY  - RPRT
TI  - Lower Bounds for Symbolic Computation on Graphs: Strongly Connected Components, Liveness, Safety, and Diameter
AU  - Krishnendu Chatterjee
AU  - Wolfgang Dvořák
AU  - Monika Henzinger
AU  - Veronika Loitzenbauer
PY  - 2017
UR  - https://arxiv.org/abs/1711.09148
ID  - 1711.09148
ER  -