%0 Journal Article %1 journals/jar/ChenWSLG18 %A Chen, Hao %A Wu, Xiongnan (Newman) %A Shao, Zhong %A Lockerman, Joshua %A Gu, Ronghui %D 2018 %J J. Autom. Reason. %K dblp %N 1-4 %P 141-189 %T Toward Compositional Verification of Interruptible OS Kernels and Device Drivers. %U http://dblp.uni-trier.de/db/journals/jar/jar61.html#ChenWSLG18 %V 61

@article{journals/jar/ChenWSLG18, added-at = {2021-10-14T00:00:00.000+0200}, author = {Chen, Hao and Wu, Xiongnan (Newman) and Shao, Zhong and Lockerman, Joshua and Gu, Ronghui}, biburl = {https://www.bibsonomy.org/bibtex/274c65761b07f1af6da489898754cfccd/dblp}, ee = {https://doi.org/10.1007/s10817-017-9446-0}, interhash = {06079f0851a2cb2a2526517f451accfe}, intrahash = {74c65761b07f1af6da489898754cfccd}, journal = {J. Autom. Reason.}, keywords = {dblp}, number = {1-4}, pages = {141-189}, timestamp = {2024-04-09T05:03:01.000+0200}, title = {Toward Compositional Verification of Interruptible OS Kernels and Device Drivers.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar61.html#ChenWSLG18}, volume = 61, year = 2018 }