Rajeev Alur, Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang
Browse the full CONCUR paper archive.