Normal view
MARC view
Patil, R. S [GUIDE] (Personal Name)
Machine generated authority record.
Work cat.: (OSt)55698: Patil, M. M. 11837, Embedded Software Verification Using State Machine Synthesis, 2006