Symbolic Model Checking Visualization - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Gila Kamhi, Limor Fix, Ziv Binyamini. Symbolic Model Checking Visualization. In Ganesh Gopalakrishnan, Phillip J. Windley, editors, Formal Methods in Computer-Aided Design, Second International Conference, FMCAD 98, Palo Alto, California, USA, November 4-6, 1998, Proceedings. Volume 1522 of Lecture Notes in Computer Science, pages 290-303, Springer, 1998. [doi]

This author has not been identified. Look up 'Gila Kamhi' in GoogleThis author has not been identified. Look up 'Limor Fix' in GoogleThis author has not been identified. Look up 'Ziv Binyamini' in Google

runs on WebDSL