External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

DiVinE Multi-Core - A Parallel LTL Model-Checker

Jiri Barnat, Lubos Brim, Petr Rockai. DiVinE Multi-Core - A Parallel LTL Model-Checker. In Sung Deok Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan, editors, Automated Technology for Verification and Analysis, 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings. Volume 5311 of Lecture Notes in Computer Science, pages 234-239, Springer, 2008. [doi]

Authors

Jiri Barnat

This author has not been identified. Look up 'Jiri Barnat' in Google

Lubos Brim

This author has not been identified. Look up 'Lubos Brim' in Google

Petr Rockai

This author has not been identified. Look up 'Petr Rockai' in Google
runs on