Skip to content
Presentation
Teams
Logic, Computation and Programming
Systems Specification and Verification
Masters
Members
Publications
Seminar
Contact
How to get here?
Log In
Presentation
Teams
Logic, Computation and Programming
Systems Specification and Verification
Masters
Members
Publications
Seminar
Contact
How to get here?
Log In
Mesures logicielles (Annulé)
March 30, 2020
Sarah Dahab
(LACL - UPEC)
TBA
Post navigation
Un algorithme stochastique pour résoudre les jeux stochastique simples
TBA
