Thorough static analysis of device drivers

@article{citeulike:2637152, address = {New York, NY, USA}, author = {Ball, Thomas and Bounimova, Ella and Cook, Byron and Levin, Vladimir and Lichtenberg, Jakob and Mcgarvey, Con and Ondrusek, Bohus and Rajamani, Sriram K. and Ustuner, Abdullah }, citeulike-article-id = {2637152}, doi = {http://dx.doi.org/10.1145/1218063.1217943}, issn = {0163-5980}, journal = {SIGOPS Oper. Syst. Rev.}, keywords = {model\_checking, slam, tools}, month = {October}, number = {4}, pages = {73--85}, posted-at = {2008-04-07 12:23:24}, priority = {2}, publisher = {ACM}, title = {Thorough static analysis of device drivers}, url = {http://dx.doi.org/10.1145/1218063.1217943}, volume = {40}, year = {2006} }

TY - JOUR ID - citeulike:2637152 L3 - citeulike-article-id:2637152 IS - 4 JF - SIGOPS Oper. Syst. Rev. SN - 0163-5980 AD - New York, NY, USA EP - 85 TI - Thorough static analysis of device drivers PB - ACM VL - 40 SP - 73 KW - model_checking KW - slam KW - tools AU - Ball, Thomas AU - Bounimova, Ella AU - Cook, Byron AU - Levin, Vladimir AU - Lichtenberg, Jakob AU - Mcgarvey, Con AU - Ondrusek, Bohus AU - Rajamani, Sriram AU - Ustuner, Abdullah PY - 2006/10// UR - http://dx.doi.org/10.1145/1218063.1217943 ER -