%0 Journal Article %1 Zakharov2015 %A Zakharov, Ilja S. %A Mutilin, Vadim S. %A Khoroshilov, Alexey V. %D 2015 %J Programming and Computer Software %K dblp linux puma test %N 3 %P 183-195 %T Pattern-based environment modeling for static verification of Linux kernel modules. %U http://dblp.uni-trier.de/db/journals/pcs/pcs41.html#ZakharovMK15 %V 41

@article{Zakharov2015, added-at = {2015-10-12T20:43:10.000+0200}, author = {Zakharov, Ilja S. and Mutilin, Vadim S. and Khoroshilov, Alexey V.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2b3ef6fa71ad6317962994ed4e6de307f/droessler}, ee = {http://dx.doi.org/10.1134/S036176881503007X}, groups = {public}, interhash = {16a83547a1be2a2632b26299c750b7e3}, intrahash = {b3ef6fa71ad6317962994ed4e6de307f}, journal = {Programming and Computer Software}, keywords = {dblp linux puma test}, number = 3, pages = {183-195}, timestamp = {2016-11-25T10:28:42.000+0100}, title = {Pattern-based environment modeling for static verification of Linux kernel modules.}, url = {http://dblp.uni-trier.de/db/journals/pcs/pcs41.html#ZakharovMK15}, username = {droessler}, volume = 41, year = 2015 }