| 1 | ||
| Researcher: | Kumar, Amit | |
| Guide: | Dixit, Amit RaiSharma, Kamal | |
| University: | Indian School of Mines, Dhanbad | |
| Language: | English | |
| 2 | Modeling and Verification of Web Services Using Recursive Composition Algebra | |
| Researcher: | Rai ,Gopal Narayan | |
| Guide: | Gangadharan ,G. R. And Ramasastri , A. Agrawal.,Arun | |
| University: | University of Hyderabad, Hyderabad | |
| Language: | English | |
| Shodhganga | ||