Symbolic OBDD-Based Reachability Analysis Needs Exponential Space.

Beate Bollig

Browse the full SOFSEM paper archive.