Scalable Multi-core LTL Model-Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jiri Barnat, Lubos Brim, Petr Rockai. Scalable Multi-core LTL Model-Checking. In Dragan Bosnacki, Stefan Edelkamp, editors, Model Checking Software, 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings. Volume 4595 of Lecture Notes in Computer Science, pages 187-203, Springer, 2007. [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