%0 Journal Article
%1 journals/stvr/PostSK09
%A Post, Hendrik
%A Sinz, Carsten
%A Küchlin, Wolfgang
%D 2009
%J Softw. Test., Verif. Reliab.
%K dblp
%N 2
%P 155-172
%T Towards automatic software model checking of thousands of Linux modules - a case study with Avinux.
%U http://dblp.uni-trier.de/db/journals/stvr/stvr19.html#PostSK09
%V 19
@article{journals/stvr/PostSK09,
added-at = {2009-09-24T00:00:00.000+0200},
author = {Post, Hendrik and Sinz, Carsten and Küchlin, Wolfgang},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2af40af193da73b853fafa023cfecd4da/dblp},
ee = {http://dx.doi.org/10.1002/stvr.399},
interhash = {c4bd710d6f17ce6c92725a6808b87da4},
intrahash = {af40af193da73b853fafa023cfecd4da},
journal = {Softw. Test., Verif. Reliab.},
keywords = {dblp},
number = 2,
pages = {155-172},
timestamp = {2016-02-02T07:55:05.000+0100},
title = {Towards automatic software model checking of thousands of Linux modules - a case study with Avinux.},
url = {http://dblp.uni-trier.de/db/journals/stvr/stvr19.html#PostSK09},
volume = 19,
year = 2009
}
