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 | ||||
| Fax | (+352) 46 66 44 36571 | ||||
powered by
2021
AIGEN: Random Generation of Symbolic Transition Systems;
in Sakr, Mouhammad; Jacobs, Swen (Eds.) AIGEN: Random Generation of Symbolic Transition Systems (2021, July 18)
