QUASY: Quantitative Synthesis Tool.

Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit Singh

Browse the full TACAS paper archive.