Patil, M. M. <br/><br/>
Embedded Software Verification Using State Machine Synthesis 

 - 1st Ed. 
 - Sangli  Walchand College of Engineering  2006 
 - 250 p.  20 cm. 
<br/><br/><br/>Text in English 
<br/><br/><label>Dewey Class. No.: </label> / PAT