%0 Conference Paper %1 conf/kbse/DeligiannisDR15 %A Deligiannis, Pantazis %A Donaldson, Alastair F. %A Rakamaric, Zvonimir %B ASE %D 2015 %E Cohen, Myra B. %E Grunske, Lars %E Whalen, Michael %I IEEE Computer Society %K dblp %P 166-177 %T Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers (T). %U http://dblp.uni-trier.de/db/conf/kbse/ase2015.html#DeligiannisDR15 %@ 978-1-5090-0025-8

@inproceedings{conf/kbse/DeligiannisDR15, added-at = {2023-03-24T00:00:00.000+0100}, author = {Deligiannis, Pantazis and Donaldson, Alastair F. and Rakamaric, Zvonimir}, biburl = {https://www.bibsonomy.org/bibtex/25baa9b98a4134ca55b8cde1ba1a443e1/dblp}, booktitle = {ASE}, crossref = {conf/kbse/2015}, editor = {Cohen, Myra B. and Grunske, Lars and Whalen, Michael}, ee = {https://dl.acm.org/citation.cfm?id=3343908}, interhash = {38e952f5af401ce03cdcffb2b0835628}, intrahash = {5baa9b98a4134ca55b8cde1ba1a443e1}, isbn = {978-1-5090-0025-8}, keywords = {dblp}, pages = {166-177}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T04:50:29.000+0200}, title = {Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers (T).}, url = {http://dblp.uni-trier.de/db/conf/kbse/ase2015.html#DeligiannisDR15}, year = 2015 }