Mouhammad Sakr -

Not registered as user yet

Name:Mouhammad Sakr

Affiliation:Saarland University

Personal website:https://www.react.uni-saarland.de/people/sakr.html

Contributions

VMCAI 2020	Author of Promptness and Bounded Fairness in Concurrent and Parameterized Systems within the VMCAI 2020-track
VMCAI 2018	Author of Analyzing Guarded Protocols: Better Cutoffs, More Systems, More Expressivity within the VMCAI 2018-track