%0 Conference Paper %1 conf/ppam/BotincanGR09 %A Botincan, Matko %A Glavan, Paola %A Runje, Davor %B PPAM (2) %D 2009 %E Wyrzykowski, Roman %E Dongarra, Jack J. %E Karczewski, Konrad %E Wasniewski, Jerzy %I Springer %K dblp %P 62-67 %T Verification of Causality Requirements in Java Memory Model Is Undecidable. %U http://dblp.uni-trier.de/db/conf/ppam/ppam2009-2.html#BotincanGR09 %V 6068 %@ 978-3-642-14402-8

@inproceedings{conf/ppam/BotincanGR09, added-at = {2017-05-21T00:00:00.000+0200}, author = {Botincan, Matko and Glavan, Paola and Runje, Davor}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2ed45497daa8752091d277fa76ac7e936/dblp}, booktitle = {PPAM (2)}, crossref = {conf/ppam/2009-2}, editor = {Wyrzykowski, Roman and Dongarra, Jack J. and Karczewski, Konrad and Wasniewski, Jerzy}, ee = {https://doi.org/10.1007/978-3-642-14403-5_7}, interhash = {d7776b0477a075f93b7d36758ff91e4b}, intrahash = {ed45497daa8752091d277fa76ac7e936}, isbn = {978-3-642-14402-8}, keywords = {dblp}, pages = {62-67}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T16:44:36.000+0200}, title = {Verification of Causality Requirements in Java Memory Model Is Undecidable.}, url = {http://dblp.uni-trier.de/db/conf/ppam/ppam2009-2.html#BotincanGR09}, volume = 6068, year = 2009 }