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.

Proving Correctness of an Efficient Abstraction for Interrupt Handling

Gerlind Herberich, Bastian Schlich, Carsten Weise, Thomas Noll. Proving Correctness of an Efficient Abstraction for Interrupt Handling. Electronic Notes in Theoretical Computer Science, 217:133-150, 2008. [doi]

Authors

Gerlind Herberich

This author has not been identified. Look up 'Gerlind Herberich' in Google

Bastian Schlich

This author has not been identified. Look up 'Bastian Schlich' in Google

Carsten Weise

This author has not been identified. Look up 'Carsten Weise' in Google

Thomas Noll

This author has not been identified. Look up 'Thomas Noll' in Google
runs on