Parallelising Symbolic State-Space Generators - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jonathan Ezekiel, Gerald Lüttgen, Gianfranco Ciardo. Parallelising Symbolic State-Space Generators. In Werner Damm, Holger Hermanns, editors, Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings. Volume 4590 of Lecture Notes in Computer Science, pages 268-280, Springer, 2007. [doi]

This author has not been identified. Look up 'Jonathan Ezekiel' in GoogleThis author has not been identified. Look up 'Gerald Lüttgen' in GoogleThis author has not been identified. Look up 'Gianfranco Ciardo' in Google

runs on WebDSL