%0 Conference Paper %1 conf/ershov/KhoroshilovMNZ14 %A Khoroshilov, Alexey V. %A Mutilin, Vadim S. %A Novikov, Evgeny %A Zakharov, Ilja S. %B Ershov Memorial Conference %D 2014 %E Voronkov, Andrei %E Virbitskaite, Irina B. %I Springer %K dblp %P 400-414 %T Modeling Environment for Static Verification of Linux Kernel Modules. %U http://dblp.uni-trier.de/db/conf/ershov/ershov2014.html#KhoroshilovMNZ14 %V 8974 %@ 978-3-662-46822-7

@inproceedings{conf/ershov/KhoroshilovMNZ14, added-at = {2019-10-19T00:00:00.000+0200}, author = {Khoroshilov, Alexey V. and Mutilin, Vadim S. and Novikov, Evgeny and Zakharov, Ilja S.}, biburl = {https://www.bibsonomy.org/bibtex/2c2d420b39e4c0a901476cb3e00c42129/dblp}, booktitle = {Ershov Memorial Conference}, crossref = {conf/ershov/2014}, editor = {Voronkov, Andrei and Virbitskaite, Irina B.}, ee = {https://doi.org/10.1007/978-3-662-46823-4_32}, interhash = {bf54080c8c4cb24c42b2fbe7adbdd9da}, intrahash = {c2d420b39e4c0a901476cb3e00c42129}, isbn = {978-3-662-46822-7}, keywords = {dblp}, pages = {400-414}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-12-17T11:40:47.000+0100}, title = {Modeling Environment for Static Verification of Linux Kernel Modules.}, url = {http://dblp.uni-trier.de/db/conf/ershov/ershov2014.html#KhoroshilovMNZ14}, volume = 8974, year = 2014 }