Symposium on Abstraction, Reformulation, and Approximation
Tenth Symposium of Abstraction, Reformulation, and Approximation

Presentations

Reading Tools
Using Coarse State Space Abstractions to Detect Mutex Pairs

Sadeqi, Holte, Zilles




Search conference