A Tool for Calculating Exponential Run-Time Properties.

Hugh Anderson, Siau-Cheng Khoo, Yijie Liu

Browse the full SYNASC paper archive.