Scalable Distributed On-the-Fly Symbolic Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Shoham Ben-David, Tamir Heyman, Orna Grumberg, Assaf Schuster. Scalable Distributed On-the-Fly Symbolic Model Checking. In Warren A. Hunt Jr., Steven D. Johnson, editors, Formal Methods in Computer-Aided Design, Third International Conference, FMCAD 2000, Austin, Texas, USA, November 1-3, 2000, Proceedings. Volume 1954 of Lecture Notes in Computer Science, pages 390-404, Springer, 2000. [doi]

This author has not been identified. Look up 'Shoham Ben-David' in GoogleThis author has not been identified. Look up 'Tamir Heyman' in GoogleThis author has not been identified. Look up 'Orna Grumberg' in GoogleThis author has not been identified. Look up 'Assaf Schuster' in Google

runs on WebDSL