@phdthesis{Kas5,
title = {Automated Verification of Exam, Cash, Reputation, and Routing Protocols },
author = {Kassem, Ali},
year = {2015},
school = {Univ. Grenoble Alpes},
team = {RSD},
}
