Radu Mateescu

发表

Modélisation et analyse de systèmes asynchrones avec CADP

Radu Mateescu, 2006 .

Vérification des propriétés temporelles des programmes parallèles

Radu Mateescu, Radu Mateescu, 1998 .