%0 Conference Paper %1 conf/kbse/VojdaniARSVV16 %A Vojdani, Vesal %A Apinis, Kalmer %A Rõtov, Vootele %A Seidl, Helmut %A Vene, Varmo %A Vogler, Ralf %B ASE %D 2016 %E Lo, David %E Apel, Sven %E Khurshid, Sarfraz %I ACM %K %P 391-402 %T Static race detection for device drivers: the Goblint approach. %U http://dblp.uni-trier.de/db/conf/kbse/ase2016.html#VojdaniARSVV16 %@ 978-1-4503-3845-5

@inproceedings{conf/kbse/VojdaniARSVV16, added-at = {2023-12-14T14:25:08.000+0100}, author = {Vojdani, Vesal and Apinis, Kalmer and Rõtov, Vootele and Seidl, Helmut and Vene, Varmo and Vogler, Ralf}, biburl = {https://www.bibsonomy.org/bibtex/2d084321fdc301c4c942ced4c0f78a7e6/admin}, booktitle = {ASE}, crossref = {conf/kbse/2016}, editor = {Lo, David and Apel, Sven and Khurshid, Sarfraz}, ee = {http://ieeexplore.ieee.org/document/7582775/}, interhash = {df7e45362844c9675bcefd2f6b1edc39}, intrahash = {d084321fdc301c4c942ced4c0f78a7e6}, isbn = {978-1-4503-3845-5}, keywords = {}, pages = {391-402}, publisher = {ACM}, timestamp = {2023-12-14T14:25:08.000+0100}, title = {Static race detection for device drivers: the Goblint approach.}, url = {http://dblp.uni-trier.de/db/conf/kbse/ase2016.html#VojdaniARSVV16}, year = 2016 }