Model Checking Software - 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

María-del-Mar Gallardo, Pedro Merino 0001, editors, Model Checking Software - 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings. Volume 10869 of Lecture Notes in Computer Science, Springer, 2018. [doi]

Conference: spin2018

This author has not been identified. Look up 'María-del-Mar Gallardo' in GoogleThis author has not been identified. Look up 'Pedro Merino 0001' in Google

runs on WebDSL