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.

Partition Refinement in Real-Time Model Checking

R. F. Lutje Spelberg, Hans Toetenel, Marcel Ammerlaan. Partition Refinement in Real-Time Model Checking. In Anders P. Ravn, Hans Rischel, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International Symposium, FTRTFT 98, Lyngby, Denmark, September 14-18, 1998, Proceedings. Volume 1486 of Lecture Notes in Computer Science, pages 143-157, Springer, 1998. [doi]

Authors

R. F. Lutje Spelberg

This author has not been identified. Look up 'R. F. Lutje Spelberg' in Google

Hans Toetenel

This author has not been identified. Look up 'Hans Toetenel' in Google

Marcel Ammerlaan

This author has not been identified. Look up 'Marcel Ammerlaan' in Google
runs on