%0 Conference Paper %1 conf/iccsw/DeligiannisD14 %A Deligiannis, Pantazis %A Donaldson, Alastair F. %B ICCSW %D 2014 %E Neykova, Rumyana %E Ng, Nicholas %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K %P 36-39 %T Automatic Verification of Data Race Freedom in Device Drivers. %U http://dblp.uni-trier.de/db/conf/iccsw/iccsw2014.html#DeligiannisD14 %V 43 %@ 978-3-939897-76-7

@inproceedings{conf/iccsw/DeligiannisD14, added-at = {2023-12-12T21:26:28.000+0100}, author = {Deligiannis, Pantazis and Donaldson, Alastair F.}, biburl = {https://www.bibsonomy.org/bibtex/2a2666093cda07fcb6b10993d330e1024/admin}, booktitle = {ICCSW}, crossref = {conf/iccsw/2014}, editor = {Neykova, Rumyana and Ng, Nicholas}, ee = {https://doi.org/10.4230/OASIcs.ICCSW.2014.36}, interhash = {3e389688b0a255664189a0cc80b42ccd}, intrahash = {a2666093cda07fcb6b10993d330e1024}, isbn = {978-3-939897-76-7}, keywords = {}, pages = {36-39}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {OASICS}, timestamp = {2023-12-12T21:26:28.000+0100}, title = {Automatic Verification of Data Race Freedom in Device Drivers.}, url = {http://dblp.uni-trier.de/db/conf/iccsw/iccsw2014.html#DeligiannisD14}, volume = 43, year = 2014 }