Model Checking Parallel Programs with Inputs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jiri Barnat, Petr Bauch, Vojtech Havel. Model Checking Parallel Programs with Inputs. In 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2014, Torino, Italy, February 12-14, 2014. pages 756-759, IEEE, 2014. [doi]

This author has not been identified. Look up 'Jiri Barnat' in GoogleThis author has not been identified. Look up 'Petr Bauch' in GoogleThis author has not been identified. Look up 'Vojtech Havel' in Google

runs on WebDSL