TY  - BOOK
AU  - Asfand Kamran Noman Bashir Ruqaiya Attaullah Usama Safdar 
ED  - Sponsoring Ds: Dr. Umar Shahbaz Khan Dr. Tahir Jameel (Nescom) Lec. Sereen Atif
TI  - PR-SOF-1979-Formal Verification and Simulation of Obstacle Avoidance on Nao Robot
U1  - 220 PRO 
PY  - 2020///
CY  - ISLAMABAD
PB  - NUST COLLEGE OF EME
KW  - DE-MTS-38
ER  -