Exponential space complexity for OBDD-based reachability analysis
Beate BolligVolume:
110
Year:
2010
Language:
english
Pages:
4
DOI:
10.1016/j.ipl.2010.07.022
File:
PDF, 126 KB
english, 2010