Béatrice Bérard

Béatrice Bérard

professeur émérite d'informatique, Sorbonne Université
Verified email at lip6.fr
Cited by 3122
verification model checking timed models probabilistic models security
Jonah Pears

Jonah Pears

PhD Student, University of Kent
Verified email at kent.ac.uk
Cited by 3
asynchronous communication models timed models session types