CHEN Yi-Ting
PhD student (ATER, Sorbonne Université - Faculté des Sciences)
Team :
APR
Arrival date : 03/30/2017
Localisation :
Campus Pierre et Marie CurieSorbonne Université - LIP6
Boîte courrier 169
Couloir 25-26, Étage 3, Bureau 303
4 place Jussieu
75252 PARIS CEDEX 05
FRANCE
Tel: +33 1 44 27 88 16, Yi-Ting.Chen (at)
nulllip6.fr
Supervision : Jean MAIRESSE
Co-supervision : ABBES Samy
Concurrency, Random generation and Model Checking