TY  - BOOK
AU  - Patil, M. M.
AU  -  Patil, R. S [GUIDE]
TI  - Embedded Software Verification Using State Machine Synthesis
PY  - 2006///
CY  - Sangli
PB  - Walchand College of Engineering
ER  -