Sciweavers

47
Voted
SOFSEM
2010
Springer

Symbolic OBDD-Based Reachability Analysis Needs Exponential Space

15 years 5 months ago
Symbolic OBDD-Based Reachability Analysis Needs Exponential Space
Beate Bollig
Added 17 Mar 2010
Updated 17 Mar 2010
Type Conference
Year 2010
Where SOFSEM
Authors Beate Bollig
Comments (0)