Anirban Majumdar
Original record- Institution
- Université Paris-Saclay
- Year
- 2021
- Country
- France
- MGP identifier
- 306007
Dissertation: Verification and Synthesis of Parameterized Concurrent Systems
Advisors 2
- Nathalie BertrandÉcole Normale Supérieure de Cachan · 2006
- Patricia BouyerÉcole Normale Supérieure de Cachan · 2002
Students 0
No students recorded in this snapshot.