Doron A. Peled
Original record- Institution
- Technion-Israel Institute of Technology
- Year
- 1991
- Country
- Israel
- MGP identifier
- 75238
Dissertation: Verification Methods in Temporal Logic
Advisors 2
- Shmuel KatzWeizmann Institute of Science · 1977
- Amir PnueliWeizmann Institute of Science · 1967
Students 2
| Name | Institution | Year | Students |
|---|---|---|---|
| Gal Katz | Bar-Ilan University | 2014 | 0 |
| Hongyang Qu | University of Warwick | 2006 | 0 |