By Clarke Edmund   Jain Himanshu   Kroening Daniel   in Formal Methods in System Design

ISSN:0925-9856|30|1|5-28

Springer Publishing Company ‎(2007)‎

Access to resources Favorite 11.145972

By Ganjoo Ashtosh   Chen Gang   Jain Himanshu   in Physics and Chemistry of Glasses - European Journal of Glass Science and Technology Part B

ISSN:0031-9090|47|2|177-181

Society of Glass Technology‎(2006)‎

Access to resources Favorite 11.145972

By C. Marques Ana   Jain Himanshu   M. Almeida Rui   in Physics and Chemistry of Glasses - European Journal of Glass Science and Technology Part B

ISSN:0031-9090|48|2|65-68

Society of Glass Technology‎(2007)‎

Access to resources Favorite 9.288309