Thomas A. Henzinger, Pavol Kebis, Nicolas Mazzocchi, N. Ege Sara
Browse the full CONCUR paper archive.