Christel Baier, Holger Hermanns, Joost-Pieter Katoen, Verena Wolf
Browse the full CONCUR paper archive.