%0 Conference Paper %1 conf/soda/ChatterjeeH11 %A Chatterjee, Krishnendu %A Henzinger, Monika %B SODA %D 2011 %E Randall, Dana %I SIAM %K dblp %P 1318-1336 %T Faster and Dynamic Algorithms for Maximal End-Component Decomposition and Related Graph Problems in Probabilistic Verification. %U http://dblp.uni-trier.de/db/conf/soda/soda2011.html#ChatterjeeH11 %@ 978-1-61197-308-2

@inproceedings{conf/soda/ChatterjeeH11, added-at = {2021-02-02T00:00:00.000+0100}, author = {Chatterjee, Krishnendu and Henzinger, Monika}, biburl = {https://www.bibsonomy.org/bibtex/2d3a0a0db1f21f9d07e7b90c856a97e2a/dblp}, booktitle = {SODA}, crossref = {conf/soda/2011}, editor = {Randall, Dana}, ee = {http://dl.acm.org/citation.cfm?id=2133137}, interhash = {88d011a1a134633088f0819705935970}, intrahash = {d3a0a0db1f21f9d07e7b90c856a97e2a}, isbn = {978-1-61197-308-2}, keywords = {dblp}, pages = {1318-1336}, publisher = {SIAM}, timestamp = {2024-04-09T11:20:02.000+0200}, title = {Faster and Dynamic Algorithms for Maximal End-Component Decomposition and Related Graph Problems in Probabilistic Verification.}, url = {http://dblp.uni-trier.de/db/conf/soda/soda2011.html#ChatterjeeH11}, year = 2011 }