Page d'accueil // SnT // People // Mouhammad Sakr

Mouhammad Sakr

Mouhammad Sakr

Postdoctoral researcher

Department CritiX
Adresse postale Université du Luxembourg
Maison du Nombre
6, Avenue de la Fonte
L-4364 Esch-sur-Alzette
Bureau sur le campus MNO, E02 0245-020
E-mail
Téléphone (+352) 46 66 44 6571
powered by
orbilu.uni.lu

2021

Full Text
See detailTo verify or tolerate, that’s the question
Pinto Gouveia, Ines; Sakr, Mouhammad; Graczyk, Rafal; Volp, Marcus

Scientific Conference (2021, December 06)

Full Text
See detailAIGEN: Random Generation of Symbolic Transition Systems
Sakr, Mouhammad; Jacobs, Swen

in Sakr, Mouhammad; Jacobs, Swen (Eds.) AIGEN: Random Generation of Symbolic Transition Systems (2021, July 18)

Top of Page