%0 Conference Paper %1 conf/sefm/TomascoN0TP17 %A Tomasco, Ermenegildo %A Nguyen, Truc Lam %A Fischer, Bernd %A Torre, Salvatore La %A Parlato, Gennaro %B SEFM %D 2017 %E Cimatti, Alessandro %E Sirjani, Marjan %I Springer %K dblp %P 185-202 %T Using Shared Memory Abstractions to Design Eager Sequentializations for Weak Memory Models. %U http://dblp.uni-trier.de/db/conf/sefm/sefm2017.html#TomascoN0TP17 %V 10469 %@ 978-3-319-66197-1

@inproceedings{conf/sefm/TomascoN0TP17, added-at = {2018-11-14T00:00:00.000+0100}, author = {Tomasco, Ermenegildo and Nguyen, Truc Lam and Fischer, Bernd and Torre, Salvatore La and Parlato, Gennaro}, biburl = {https://www.bibsonomy.org/bibtex/230a6d247fce2de49ad67f1f70156774f/dblp}, booktitle = {SEFM}, crossref = {conf/sefm/2017}, editor = {Cimatti, Alessandro and Sirjani, Marjan}, ee = {https://www.wikidata.org/entity/Q57658735}, interhash = {e64ffa13157e78801806b78badb36511}, intrahash = {30a6d247fce2de49ad67f1f70156774f}, isbn = {978-3-319-66197-1}, keywords = {dblp}, pages = {185-202}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:52:57.000+0200}, title = {Using Shared Memory Abstractions to Design Eager Sequentializations for Weak Memory Models.}, url = {http://dblp.uni-trier.de/db/conf/sefm/sefm2017.html#TomascoN0TP17}, volume = 10469, year = 2017 }