Shodhganga : a reservoir of Indian theses @ INFLIBNET
The Shodhganga@INFLIBNET Centre provides a platform for research students to deposit their Ph.D. theses and make it available to the entire scholarly community in open access.
Please use this identifier to cite or link to this item:
http://hdl.handle.net/10603/408426
| Title: | Determinization Clock Reduction and Experimental Analysis of Timed Systems |
| Researcher: | P Vijay Suman |
| Guide(s): | Paritosh K. Pandya |
| Keywords: | Engineering and Technology Computer Science Computer Science Information Systems |
| University: | Tata Institute of Fundamental Research |
| Completed Date: | 2010 |
| Abstract: | newline |
| Pagination: | |
| URI: | http://hdl.handle.net/10603/408426 |
| Appears in Departments: | School of Technology and Computer Science (STCS) |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 01_title.pdf | Attached File | 16.88 kB | Adobe PDF | View/Open |
| 02_declaration.pdf | 32.79 kB | Adobe PDF | View/Open | |
| 05_contents.pdf | 47.5 kB | Adobe PDF | View/Open | |
| 06_list of table & figures.pdf | 75.45 kB | Adobe PDF | View/Open | |
| 08_chapter 1.pdf | 151.13 kB | Adobe PDF | View/Open | |
| 09_chapter 2.pdf | 314.54 kB | Adobe PDF | View/Open | |
| 10_chapter 3.pdf | 201.72 kB | Adobe PDF | View/Open | |
| 11_chapter 4.pdf | 299.63 kB | Adobe PDF | View/Open | |
| 12_chapter 5.pdf | 186.12 kB | Adobe PDF | View/Open | |
| 13_chapter 6.pdf | 260.4 kB | Adobe PDF | View/Open | |
| 14_chapter 7.pdf | 70.12 kB | Adobe PDF | View/Open | |
| 15_bibliography.pdf | 80.45 kB | Adobe PDF | View/Open | |
| 16_appendix.pdf | 79.46 kB | Adobe PDF | View/Open | |
| 17_synopsis.pdf | 140.2 kB | Adobe PDF | View/Open | |
| 18_list of publications.pdf | 34.31 kB | Adobe PDF | View/Open | |
| 80_recommendation.pdf | 208.14 kB | Adobe PDF | View/Open |
Items in Shodhganga are licensed under Creative Commons Licence Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0).
Altmetric Badge: