@inproceedings{92376,
  author = {Sunha Ahn and Sharad Malik and Aarti Gupta},
  title = {Completeness bounds and sequentialization for model checking of interacting firmware and hardware},
  year = {2015},
  journal = {Proceedings of the 10th International Conference on Hardware/Software Codesign and System Synthesis},
  pages = {202{\textendash}211},
  publisher = {IEEE Press},
  language = {eng},
}