CHEN Yi-Ting
Doutorando (ATER, Sorbonne Université - Faculté des Sciences)
Equipe :
APR
Data de chegada : 30/03/2017
Localização :
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
Direção de pesquisa : Jean MAIRESSE
Co-supervisão£o : ABBES Samy
Concurrency, Random generation and Model Checking