Design of a communication protocol using model checking by Abhishek Pandey; supervised by Dr. Mahil Carr

Abhishek, Pandey
Call Number
PR001.5 Ab47D
Author
Abhishek, Pandey
Title
Design of a communication protocol using model checking by Abhishek Pandey; supervised by Dr. Mahil Carr
Publication
Hyderabad: University of Hyderabad, 2013.
Physical Description
75p.
Notes
Project Report (M.Tech) - Department of Computer & Information Sciences - School of C.I.S. University of Hyderabad
Added Author
Mahil, Carr., supervisor
Subject
COMPUTER SCIENCES - PROJECT REPORT
Total Ratings: 0
Location Call Number Barcode Item Class Units Copy Number Status  
IGM Library PR001.5 Ab47D PR7700 Project Reports 1 Non-Circulating
 
 
 
00791nam a2200205 a 4500
001
 
 
vtls001550700
003
 
 
VRT
005
 
 
20140811112800.0
008
 
 
140808                  m    000 0 eng d
039
9
$a 201408111128 $b jee $y 201408081448 $z jee
082
$a PR001.5 Ab47D
100
1
$a Abhishek, Pandey
245
1
$a Design of a communication protocol using model checking $c by Abhishek Pandey; supervised by Dr. Mahil Carr
260
$a Hyderabad: $b University of Hyderabad, $c 2013.
300
$a 75p.
500
$a Project Report (M.Tech) - Department of Computer & Information Sciences - School of C.I.S. University of Hyderabad
650
0
$a COMPUTER SCIENCES - PROJECT REPORT
700
$a Mahil, Carr., supervisor
999
$a VIRTUA40
999
$a VTLSSORT0080*0820*1000*2450*2600*3000*5000*6500*7000*9992
No Reviews to Display
Notes
Project Report (M.Tech) - Department of Computer & Information Sciences - School of C.I.S. University of Hyderabad
Subject
COMPUTER SCIENCES - PROJECT REPORT