![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] SOFSEM 2010: Theory and Practice of Computer Science Volume 5901 || Symbolic OBDD-Based Reachability Analysis Needs Exponential Space
Leeuwen, Jan, Muscholl, Anca, Peleg, David, Pokorný, Jaroslav, Rumpe, BernhardVolume:
10.1007/97
Year:
2010
Language:
english
Pages:
11
DOI:
10.1007/978-3-642-11266-9_19
File:
PDF, 225 KB
english, 2010