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.

Unifying Theories of Interrupts

Alistair A. McEwan, Jim Woodcock. Unifying Theories of Interrupts. In Andrew Butterfield, editor, Unifying Theories of Programming, Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers. Volume 5713 of Lecture Notes in Computer Science, pages 122-141, Springer, 2008. [doi]

Authors

Alistair A. McEwan

This author has not been identified. Look up 'Alistair A. McEwan' in Google

Jim Woodcock

This author has not been identified. Look up 'Jim Woodcock' in Google
runs on