Book/Book Chapter
 

 

Book Chapter

 

1.      Jairam Sukumar, Subir K Roy, Kusum Lata and Navakanta Bhat “Formal Verification of Hybrid Automotive Systems” in the book “Motion Control", IN-TECH publisher, ISBN 978-953-7619, 2010