%0 Journal Article %1 journals/ipl/Bollig10 %A Bollig, Beate %D 2010 %J Inf. Process. Lett. %K %N 21 %P 924-927 %T Exponential space complexity for OBDD-based reachability analysis. %U http://dblp.uni-trier.de/db/journals/ipl/ipl110.html#Bollig10 %V 110

@article{journals/ipl/Bollig10, added-at = {2023-12-14T16:17:07.000+0100}, author = {Bollig, Beate}, biburl = {https://www.bibsonomy.org/bibtex/22812bc07a2b358a6ecd13992431a93bc/admin}, ee = {http://dx.doi.org/10.1016/j.ipl.2010.07.022}, interhash = {f5da4150eec20a2b1746e373d3a14c77}, intrahash = {2812bc07a2b358a6ecd13992431a93bc}, journal = {Inf. Process. Lett.}, keywords = {}, number = 21, pages = {924-927}, timestamp = {2023-12-14T16:17:07.000+0100}, title = {Exponential space complexity for OBDD-based reachability analysis.}, url = {http://dblp.uni-trier.de/db/journals/ipl/ipl110.html#Bollig10}, volume = 110, year = 2010 }