Dr. Mouhammad Sakr

Now at American University of Beirut

Publications

While being a member of this group or in collaboration with us.

A Symbolic Algorithm for Lazy Synthesis of Eager Strategies

Swen Jacobs and Mouhammad Sakr · ATVA 2018
Analyzing Guarded Protocols: Better Cutoffs, More Systems, More Expressivity

Swen Jacobs and Mouhammad Sakr · VMCAI 2018

Contact Data Privacy Policy Imprint

Home People Publications

More