Thèse nationale
Proof Theory of Probabilistic Temporal Logics
Proof Theory of Probabilistic Temporal Logics
Université Ibn Khaldoun
Date de soutenance: 29-04-2015
Encadrant
MHAMDI Abdelhafid