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.

Dynamic Scheduling in the Presence of Faults: Specification and Verification

Tomasz Janowski, Mathai Joseph. Dynamic Scheduling in the Presence of Faults: Specification and Verification. In Bengt Jonsson, Joachim Parrow, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International Symposium, FTRTFT 96, Uppsala, Sweden, September 9-13, 1996, Proceedings. Volume 1135 of Lecture Notes in Computer Science, pages 279-297, Springer, 1996.

Authors

Tomasz Janowski

This author has not been identified. Look up 'Tomasz Janowski' in Google

Mathai Joseph

This author has not been identified. Look up 'Mathai Joseph' in Google
runs on