%0 Conference Paper %1 conf/birthday/AhishakiyeJPS21 %A Ahishakiye, Faustin %A Jarabo, José Ignacio Requeno %A Pun, Violet Ka I %A Stolz, Volker %B Formal Methods in Outer Space %D 2021 %E Bartocci, Ezio %E Falcone, Yliès %E Leucker, Martin %I Springer %K dblp %P 108-126 %T Hardware-Assisted Online Data Race Detection. %U http://dblp.uni-trier.de/db/conf/birthday/havelund2021.html#AhishakiyeJPS21 %V 13065 %@ 978-3-030-87348-6

@inproceedings{conf/birthday/AhishakiyeJPS21, added-at = {2024-06-11T00:00:00.000+0200}, author = {Ahishakiye, Faustin and Jarabo, José Ignacio Requeno and Pun, Violet Ka I and Stolz, Volker}, biburl = {https://www.bibsonomy.org/bibtex/2b7c07660319c0986c47fc0008df761d1/dblp}, booktitle = {Formal Methods in Outer Space}, crossref = {conf/birthday/2021havelund}, editor = {Bartocci, Ezio and Falcone, Yliès and Leucker, Martin}, ee = {https://doi.org/10.1007/978-3-030-87348-6_6}, interhash = {70cdf7de1c489da70f0d4e71d3bf0a08}, intrahash = {b7c07660319c0986c47fc0008df761d1}, isbn = {978-3-030-87348-6}, keywords = {dblp}, pages = {108-126}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-06-17T07:48:32.000+0200}, title = {Hardware-Assisted Online Data Race Detection.}, url = {http://dblp.uni-trier.de/db/conf/birthday/havelund2021.html#AhishakiyeJPS21}, volume = 13065, year = 2021 }