Exponential space complexity for OBDD-based reachability analysis
scientific article; zbMATH DE number 6802633
scientific article