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.

Model-Checking the Linux Virtual File System

Andy Galloway, Gerald Lüttgen, Jan Tobias Mühlberg, Radu Siminiceanu. Model-Checking the Linux Virtual File System. In Neil D. Jones, Markus Müller-Olm, editors, Verification, Model Checking, and Abstract Interpretation, 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings. Volume 5403 of Lecture Notes in Computer Science, pages 74-88, Springer, 2009. [doi]

Authors

Andy Galloway

This author has not been identified. Look up 'Andy Galloway' in Google

Gerald Lüttgen

This author has not been identified. Look up 'Gerald Lüttgen' in Google

Jan Tobias Mühlberg

This author has not been identified. Look up 'Jan Tobias Mühlberg' in Google

Radu Siminiceanu

This author has not been identified. Look up 'Radu Siminiceanu' in Google
runs on