Chatterjee, Krishnendu; Velner, Yaron Journal of the ACM (2017)
Chonev, Ventsislav K; Ouaknine, Joël; Worrell, James B Journal of the ACM (2016)
Chatterjee, Krishnendu; Henzinger, Thomas A; Jobstmann, Barbara; Singh, Rohit R Journal of the ACM (2015)
Chatterjee, Krishnendu; Henzinger, Monika Journal of the ACM (2014)
Institute of Science and Technology Austria | Library Am Campus 1, A-3400 Klosterneuburg | Phone: +43 2243 9000 Powered by BibApp