TY  - THES
DP  - http://www.theses.fr/2019ENSR0020
TI  - Efficient state-space exploration for asynchronous distributed programs ˸ Adapting unfolding-based dynamic partial order reduction to MPI programs
AU  - Pham, The Anh
A3  - Quinson, Martin; Jéron, Thierry
PY  - 2019
N1  - Thèse de doctorat Informatique Rennes, École normale supérieure 2019
N1  - 2019ENSR0020
UR  - http://www.theses.fr/2019ENSR0020/document
ER  -