A New Reachability Algorithm for Symmetric Multi-processor Architecture - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Debashis Sahoo, Jawahar Jain, Subramanian K. Iyer, David L. Dill. A New Reachability Algorithm for Symmetric Multi-processor Architecture. In Doron Peled, Yih-Kuen Tsay, editors, Automated Technology for Verification and Analysis, Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings. Volume 3707 of Lecture Notes in Computer Science, pages 26-38, Springer, 2005. [doi]

This author has not been identified. Look up 'Debashis Sahoo' in GoogleThis author has not been identified. Look up 'Jawahar Jain' in GoogleThis author has not been identified. Look up 'Subramanian K. Iyer' in GoogleThis author has not been identified. Look up 'David L. Dill' in Google

runs on WebDSL