Formalizing Dynamic Probabilistic Agreement Theorems

in
Speaker: 
Lorenz Demey
Date: 
01 Jun, 2010