Beate Bollig. Symbolic OBDD-Based Reachability Analysis Needs Exponential Space. In Jan van Leeuwen, Anca Muscholl, David Peleg, Jaroslav Pokorný, Bernhard Rumpe, editors, SOFSEM 2010: Theory and Practice of Computer Science, 36th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, Czech Republic, January 23-29, 2010. Proceedings. Volume 5901 of Lecture Notes in Computer Science, pages 224-234, Springer, 2010. [doi]
Abstract is missing.