Mouhammad Sakr
![]() |
|
||||
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 | ||||
![]() |
|||||
Téléphone | (+352) 46 66 44 6571 | ||||
powered by

2021

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