| 1 | ||
| Researcher: | Agrawal, V. | |
| Guide: | Parmar, S. | |
| University: | Saurashtra University, Rajkot | |
| Language: | English | |
| Shodhganga | ||
| 2 | Formal tools for specification driven protocol design of distributed computing systems | |
| Researcher: | Agrawal, V K | |
| Guide: | Patnaik, L M | |
| University: | Indian Institute of Science | |
| Language: | English | |