%0 Conference Paper %1 conf/latw/VelascoMR17 %A Velasco, Alejandro David %A Montrucchio, Bartolomeo %A Rebaudengo, Maurizio %B LATS %D 2017 %I IEEE %K dblp %P 1-6 %T TMR technique for mutex kernel data structures. %U http://dblp.uni-trier.de/db/conf/latw/lats2017.html#VelascoMR17 %@ 978-1-5386-0415-1

@inproceedings{conf/latw/VelascoMR17, added-at = {2017-04-27T00:00:00.000+0200}, author = {Velasco, Alejandro David and Montrucchio, Bartolomeo and Rebaudengo, Maurizio}, biburl = {https://www.bibsonomy.org/bibtex/2f003a05afe7d7ace56b550d8d72076d4/dblp}, booktitle = {LATS}, crossref = {conf/latw/2017}, ee = {http://dx.doi.org/10.1109/LATW.2017.7906745}, interhash = {dfb15f56814e80f6fc3eaf50c5893a45}, intrahash = {f003a05afe7d7ace56b550d8d72076d4}, isbn = {978-1-5386-0415-1}, keywords = {dblp}, pages = {1-6}, publisher = {IEEE}, timestamp = {2017-04-28T11:35:39.000+0200}, title = {TMR technique for mutex kernel data structures.}, url = {http://dblp.uni-trier.de/db/conf/latw/lats2017.html#VelascoMR17}, year = 2017 }