AMC: An Adaptive Model Checker - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Alex Groce, Doron Peled, Mihalis Yannakakis. AMC: An Adaptive Model Checker. In Ed Brinksma, Kim Guldstrand Larsen, editors, Computer Aided Verification, 14th International Conference, CAV 2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings. Volume 2404 of Lecture Notes in Computer Science, pages 521-525, Springer, 2002. [doi]

This author has not been identified. Look up 'Alex Groce' in GoogleThis author has not been identified. Look up 'Doron Peled' in GoogleThis author has not been identified. Look up 'Mihalis Yannakakis' in Google

runs on WebDSL