Filip Cano, Thomas A. Henzinger, Konstantin Kueffner, N. Ege Sara
Browse the full CONCUR paper archive.