Parallel Partial Order Reduction with Topological Sort Proviso - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jiri Barnat, Lubos Brim, Petr Rockai. Parallel Partial Order Reduction with Topological Sort Proviso. In José Luiz Fiadeiro, Stefania Gnesi, Andrea Maggiolo-Schettini, editors, 8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010, Pisa, Italy, 13-18 September 2010. pages 222-231, IEEE Computer Society, 2010. [doi]

This author has not been identified. Look up 'Jiri Barnat' in GoogleThis author has not been identified. Look up 'Lubos Brim' in GoogleThis author has not been identified. Look up 'Petr Rockai' in Google

runs on WebDSL