Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}