Benchmarking and Resource Measurement - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Dirk Beyer 0001, Stefan Löwe, Philipp Wendler. Benchmarking and Resource Measurement. In Bernd Fischer, Jaco Geldenhuys, editors, Model Checking Software - 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings. Volume 9232 of Lecture Notes in Computer Science, pages 160-178, Springer, 2015. [doi]

This author has not been identified. Look up 'Dirk Beyer 0001' in GoogleThis author has not been identified. Look up 'Stefan Löwe' in GoogleThis author has not been identified. Look up ' Philipp Wendler' in Google

runs on WebDSL