| Type of Material: | Thesis |
| Title: | Semantics and Verification of Multi-agent Systems |
| Researcher: | Mohasefi, Jamshid Bagherzadeh |
| Guide: | Kumar, Arun | Kumar, Anshul |
| Department: | Department of Computer Science |
| Publisher: | Indian Institute of Technology Delhi |
| Place: | New Delhi |
| Year: | 2006 |
| Language: | English |
| Subject: | Engineering Science | Computer Science |
| Accession No: | 45(12) |
| Dissertation/Thesis Note: | PhD |
| 000 | 00000ntm a2200000ua 4500 | |
| 001 | 167365 | |
| 003 | IN-AhILN | |
| 005 | 2011-01-13 00:00:00 | |
| 008 | __ | 061231t2006||||ii#||||g|m||||||||||eng|| |
| 035 | __ | |a(IN-AhILN)th_167365 |
| 040 | __ | |aIITD_110016|dIN-AhILN |
| 041 | __ | |aeng |
| 100 | __ | |aMohasefi, Jamshid Bagherzadeh|eResearcher |
| 110 | __ | |aDepartment of Computer Science|bIndian Institute of Technology Delhi|dNew Delhi |
| 245 | __ | |aSemantics and Verification of Multi-agent Systems |
| 260 | __ | |aNew Delhi|bIndian Institute of Technology Delhi|c2006 |
| 502 | __ | |bPhD |
| 653 | __ | |aEngineering Science |
| 653 | __ | |aComputer Science |
| 700 | __ | |aKumar, Arun|eGuide |
| 700 | __ | |aKumar, Anshul|eGuide |
| 852 | __ | |p45(12) |
| 905 | __ | |anotification |
User Feedback Comes Under This section.