Verification tool for protocols specified in formal description language by M.L. Srinivas and P.S.N. Murthy; supervised by Arun Agarwal

Srinivas, M.L.
Call Number
PR001.6 Sr34V
Author
Srinivas, M.L.
Title
Verification tool for protocols specified in formal description language by M.L. Srinivas and P.S.N. Murthy; supervised by Arun Agarwal
Publication
Hyderabad: University of Hyderabad, 1996.
Physical Description
73p.
Notes
Project Report (M.Tech) - Dept. of CIS - Computer Science - School of MCIS - UOH.
Added Author
Agarwal, Arun; Supervisor
Murthy, P.S.N.
Subject
COMPUTER SCIENCE - PROJECT REPORT
Total Ratings: 0
Location Call Number Barcode Item Class Units Copy Number Status  
IGM Library PR001.6 Sr34V PR1931 Project Reports 1 Non-Circulating
IGM Library PR001.6 Sr34V PR2070 Project Reports 2 Non-Circulating
 
 
 
00880nam a2200217 a 4500
001
 
 
vtls001517082
003
 
 
VRT
005
 
 
20181114105900.0
008
 
 
120904s                 m    000 0 eng d
039
9
$a 201811141059 $b thirupathi $c 201307161000 $d prasanna $c 201209041724 $d VLOAD $y 201105021140 $z venikln
082
4
$a PR001.6 $b Sr34V
100
1
$a Srinivas, M.L.
245
1
0
$a Verification tool for protocols specified in formal description language $c by M.L. Srinivas and P.S.N. Murthy; supervised by Arun Agarwal
260
$a Hyderabad: $b University of Hyderabad, $c 1996.
300
$a 73p.
500
$a Project Report (M.Tech) - Dept. of CIS - Computer Science - School of MCIS - UOH.
650
0
$a COMPUTER SCIENCE - PROJECT REPORT
700
1
$a Agarwal, Arun; Supervisor
700
1
$a Murthy, P.S.N.
999
$a VIRTUA40
999
$a VTLSSORT0080*0820*1000*2450*2600*3000*5000*6500*7000*7001*9992
No Reviews to Display
Notes
Project Report (M.Tech) - Dept. of CIS - Computer Science - School of MCIS - UOH.
Subject
COMPUTER SCIENCE - PROJECT REPORT