Report copyright - Nicolas Markey - IRISApeople.irisa.fr/Nicolas.Markey/PDF/CV/cv_en.pdfTeaching PhD. Schools – Temporal logics for multi-agent systems: expressiveness and algorithms, introductory
Please pass captcha verification before submit form
Please pass captcha verification before submit form