par Galloway, Andy;Lüttgen, Gerald;Mühlberg, Jan Tobias ;Siminiceanu, Radu I.
Référence 10th International Conference, VMCAI 2009(January 18-20, 2009: Savannah, GA, USA), Verification, Model Checking, and Abstract Interpretation, Lecture notes in computer science (5403), page (74–88)
Publication Publié, 2009
Publication dans des actes
Titre:
  • Model-Checking the Linux Virtual File System
Auteur:Galloway, Andy; Lüttgen, Gerald; Mühlberg, Jan Tobias; Siminiceanu, Radu I.
Informations sur la publication:10th International Conference, VMCAI 2009(January 18-20, 2009: Savannah, GA, USA), Verification, Model Checking, and Abstract Interpretation, Lecture notes in computer science (5403), page (74–88)
Statut de publication:Publié, 2009
Sujet CREF:Informatique générale
Langue:Anglais
Identificateurs:urn:issn:0302-9743
info:doi/10.1007/978-3-540-93900-9_10
9783540938996