Fair Model Checking with Process Counter Abstraction - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jun Sun 0001, Yang Liu 0003, Abhik Roychoudhury, Shanshan Liu, Jin Song Dong. Fair Model Checking with Process Counter Abstraction. In Ana Cavalcanti, Dennis Dams, editors, FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings. Volume 5850 of Lecture Notes in Computer Science, pages 123-139, Springer, 2009. [doi]

This author has not been identified. Look up 'Jun Sun 0001' in GoogleThis author has not been identified. Look up 'Yang Liu 0003' in GoogleThis author has not been identified. Look up 'Abhik Roychoudhury' in GoogleThis author has not been identified. Look up 'Shanshan Liu' in GoogleThis author has not been identified. Look up 'Jin Song Dong' in Google

runs on WebDSL