Applications of Hierarchical Verification in Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Robert Beers, Rajnish Ghughal, Mark Aagaard. Applications of Hierarchical Verification in 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, Springer, 2000. [doi]

This author has not been identified. Look up 'Robert Beers' in GoogleThis author has not been identified. Look up 'Rajnish Ghughal' in GoogleThis author has not been identified. Look up 'Mark Aagaard' in Google

runs on WebDSL