Loading...
The system can't perform the operation now. Try again later.
Articles
Case law
Profiles
My profile
My library
Metrics
Alerts
Settings
Get journal articles
Get journal articles
Profiles
My profile
My library
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
PhD Student, University of Kent
Verified email at kent.ac.uk
Cited by 3
asynchronous communication models
timed models
session types
Privacy
Terms
Help
About Scholar
Search help