External Links

Cite Key

Statistics

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

PDF

Tags

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.

Cluster-Based LTL Model Checking of Large Systems

Jiri Barnat, Lubos Brim, Ivana Cerná. Cluster-Based LTL Model Checking of Large Systems. In Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever, editors, Formal Methods for Components and Objects, 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures. Volume 4111 of Lecture Notes in Computer Science, pages 259-279, Springer, 2005. [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

Ivana Cerná

This author has not been identified. Look up 'Ivana Cerná' in Google
runs on