An Automated Analysis of Ping-Pong Interactions in E-mail Services.

Anne Bergeron, Jean-Christophe Manzoni

Browse the full TACAS paper archive.