%0 Journal Article %1 journals/sigops/AmaniCDLORZ14 %A Amani, Sidney %A Chubb, Peter %A Donaldson, Alastair F. %A Legg, Alexander %A Ong, Keng Chai %A Ryzhyk, Leonid %A Zhu, Yanjin %D 2014 %J ACM SIGOPS Oper. Syst. Rev. %K %N 1 %P 106-118 %T Automatic verification of active device drivers. %U http://dblp.uni-trier.de/db/journals/sigops/sigops48.html#AmaniCDLORZ14 %V 48

@article{journals/sigops/AmaniCDLORZ14, added-at = {2023-12-13T06:19:59.000+0100}, author = {Amani, Sidney and Chubb, Peter and Donaldson, Alastair F. and Legg, Alexander and Ong, Keng Chai and Ryzhyk, Leonid and Zhu, Yanjin}, biburl = {https://www.bibsonomy.org/bibtex/2155c3edf9c26e5434119b89ba60ca1cd/admin}, ee = {https://doi.org/10.1145/2626401.2626424}, interhash = {aca3dc9d6a4fa67161b5322b52797fd3}, intrahash = {155c3edf9c26e5434119b89ba60ca1cd}, journal = {ACM SIGOPS Oper. Syst. Rev.}, keywords = {}, number = 1, pages = {106-118}, timestamp = {2023-12-13T06:19:59.000+0100}, title = {Automatic verification of active device drivers.}, url = {http://dblp.uni-trier.de/db/journals/sigops/sigops48.html#AmaniCDLORZ14}, volume = 48, year = 2014 }