@Inproceedings{DBLP:conf/wrla/AlrahmanABL14,
   status = {public},
   link = {http://dx.doi.org/10.1007/978-3-319-12904-4_2},
   task = {T5.3},
   publisher = {Springer},
   doi = {10.1007/978-3-319-12904-4_2},
   booktitle = {Rewriting Logic and Its Applications - 10th International Workshop, {WRLA} 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers},
   series = {Lecture Notes in Computer Science},
   year = {2014},
   invited = {no},
   volume = {8663},
   main = {no},
   title = {{Can We Efficiently Check Concurrent Programs Under Relaxed Memory
Models in Maude?}},
   editor = {Santiago Escobar},
   author = {Yehia Abd Alrahman and Marina Andric and Alessandro Beggiato and Alberto Lluch{-}Lafuente},
   period = {year4},
   partner = {IMT},
   wp = {WP2,WP5},
   pages = {21--41}
}