%0 Journal Article %1 journals/corr/abs-1711-09148 %A Chatterjee, Krishnendu %A Dvorák, Wolfgang %A Henzinger, Monika %A Loitzenbauer, Veronika %D 2017 %J CoRR %K %T Lower Bounds for Symbolic Computation on Graphs: Strongly Connected Components, Liveness, Safety, and Diameter. %U http://dblp.uni-trier.de/db/journals/corr/corr1711.html#abs-1711-09148 %V abs/1711.09148

@article{journals/corr/abs-1711-09148, added-at = {2023-12-13T02:58:39.000+0100}, author = {Chatterjee, Krishnendu and Dvorák, Wolfgang and Henzinger, Monika and Loitzenbauer, Veronika}, biburl = {https://www.bibsonomy.org/bibtex/261b136885294d46d5d4b1a9333df2bce/admin}, ee = {http://arxiv.org/abs/1711.09148}, interhash = {8601ead221dc0af135daf0a56f134257}, intrahash = {61b136885294d46d5d4b1a9333df2bce}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-13T02:58:39.000+0100}, title = {Lower Bounds for Symbolic Computation on Graphs: Strongly Connected Components, Liveness, Safety, and Diameter.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1711.html#abs-1711-09148}, volume = {abs/1711.09148}, year = 2017 }