%0 Conference Paper %1 conf/icst/RubanovS11 %A Rubanov, Vladimir V. %A Shatokhin, Eugene A. %B ICST %D 2011 %I IEEE Computer Society %K dblp %P 180-189 %T Runtime Verification of Linux Kernel Modules Based on Call Interception. %U http://dblp.uni-trier.de/db/conf/icst/icst2011.html#RubanovS11 %@ 978-0-7695-4342-0

@inproceedings{conf/icst/RubanovS11, added-at = {2014-08-05T00:00:00.000+0200}, author = {Rubanov, Vladimir V. and Shatokhin, Eugene A.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/244fdb14ab7224a5f33e0ceaf9b1886df/dblp}, booktitle = {ICST}, crossref = {conf/icst/2011}, ee = {http://doi.ieeecomputersociety.org/10.1109/ICST.2011.20}, interhash = {6e206b7a98b413975228716a73e4ba43}, intrahash = {44fdb14ab7224a5f33e0ceaf9b1886df}, isbn = {978-0-7695-4342-0}, keywords = {dblp}, pages = {180-189}, publisher = {IEEE Computer Society}, timestamp = {2016-02-02T15:57:46.000+0100}, title = {Runtime Verification of Linux Kernel Modules Based on Call Interception.}, url = {http://dblp.uni-trier.de/db/conf/icst/icst2011.html#RubanovS11}, year = 2011 }