Parallel and distributed model checking in Eddy - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Igor Melatti, Robert Palmer, Geoffrey Sawaya, Yu Yang, Robert M. Kirby, Ganesh Gopalakrishnan. Parallel and distributed model checking in Eddy. STTT, 11(1):13-25, 2009. [doi]

This author has not been identified. Look up 'Igor Melatti' in GoogleThis author has not been identified. Look up 'Robert Palmer' in GoogleThis author has not been identified. Look up 'Geoffrey Sawaya' in GoogleThis author has not been identified. Look up 'Yu Yang' in GoogleThis author has not been identified. Look up 'Robert M. Kirby' in GoogleThis author has not been identified. Look up 'Ganesh Gopalakrishnan' in Google

runs on WebDSL