%0 Journal Article %1 Post2009 %A Post, Hendrik %A Sinz, Carsten %A Küchlin, Wolfgang %D 2009 %J Softw. Test., Verif. Reliab. %K dblp linux puma test %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{Post2009, added-at = {2015-10-12T20:43:10.000+0200}, author = {Post, Hendrik and Sinz, Carsten and Küchlin, Wolfgang}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2af40af193da73b853fafa023cfecd4da/droessler}, ee = {http://dx.doi.org/10.1002/stvr.399}, groups = {public}, interhash = {c4bd710d6f17ce6c92725a6808b87da4}, intrahash = {af40af193da73b853fafa023cfecd4da}, journal = {Softw. Test., Verif. Reliab.}, keywords = {dblp linux puma test}, number = 2, pages = {155-172}, timestamp = {2016-11-25T10:29:41.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}, username = {droessler}, volume = 19, year = 2009 }