%0 Journal Article %1 journals/tc/BombieriBDPP20 %A Bombieri, Nicola %A Busato, Federico %A Danese, Alessandro %A Piccolboni, Luca %A Pravadelli, Graziano %D 2020 %J IEEE Trans. Computers %K dblp %N 4 %P 606-620 %T Mangrove: An Inference-Based Dynamic Invariant Mining for GPU Architectures. %U http://dblp.uni-trier.de/db/journals/tc/tc69.html#BombieriBDPP20 %V 69

@article{journals/tc/BombieriBDPP20, added-at = {2020-03-25T00:00:00.000+0100}, author = {Bombieri, Nicola and Busato, Federico and Danese, Alessandro and Piccolboni, Luca and Pravadelli, Graziano}, biburl = {https://www.bibsonomy.org/bibtex/28589c5d7107ed9874697f3e0aa778d62/dblp}, ee = {https://doi.org/10.1109/TC.2019.2953846}, interhash = {a486562270b64cf3bf52d79a5887c82e}, intrahash = {8589c5d7107ed9874697f3e0aa778d62}, journal = {IEEE Trans. Computers}, keywords = {dblp}, number = 4, pages = {606-620}, timestamp = {2020-03-26T11:41:34.000+0100}, title = {Mangrove: An Inference-Based Dynamic Invariant Mining for GPU Architectures.}, url = {http://dblp.uni-trier.de/db/journals/tc/tc69.html#BombieriBDPP20}, volume = 69, year = 2020 }