Parallel State Space Generation and Exploration on Shared-Memory Architectures - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Milan Ceska, Bohuslav Krena, Tomás Vojnar. Parallel State Space Generation and Exploration on Shared-Memory Architectures. In Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia, editors, Computer Aided Systems Theory - EUROCAST 2005, 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers. Volume 3643 of Lecture Notes in Computer Science, pages 275-280, Springer, 2005. [doi]

This author has not been identified. Look up 'Milan Ceska' in GoogleThis author has not been identified. Look up 'Bohuslav Krena' in GoogleThis author has not been identified. Look up 'Tomás Vojnar' in Google

runs on WebDSL