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.

Automatic verification of active device drivers

Sidney Amani, Peter Chubb, Alastair F. Donaldson, Alexander Legg, Keng Chai Ong, Leonid Ryzhyk, Yanjin Zhu. Automatic verification of active device drivers. Operating Systems Review, 48(1):106-118, 2014. [doi]

Authors

Sidney Amani

This author has not been identified. Look up 'Sidney Amani' in Google

Peter Chubb

This author has not been identified. Look up 'Peter Chubb' in Google

Alastair F. Donaldson

This author has not been identified. Look up 'Alastair F. Donaldson' in Google

Alexander Legg

This author has not been identified. Look up 'Alexander Legg' in Google

Keng Chai Ong

This author has not been identified. Look up 'Keng Chai Ong' in Google

Leonid Ryzhyk

This author has not been identified. Look up 'Leonid Ryzhyk' in Google

Yanjin Zhu

This author has not been identified. Look up 'Yanjin Zhu' in Google
runs on