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.

Distributed LTL Model Checking with Hash Compaction

Jiri Barnat, Jan Havlícek, Petr Rockai. Distributed LTL Model Checking with Hash Compaction. Electronic Notes in Theoretical Computer Science, 296:79-93, 2013. [doi]

Authors

Jiri Barnat

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

Jan Havlícek

This author has not been identified. Look up 'Jan Havlícek' in Google

Petr Rockai

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