%0 Conference Paper %1 conf/esop/SieczkowskiSBP15 %A Sieczkowski, Filip %A Svendsen, Kasper %A Birkedal, Lars %A Pichon-Pharabod, Jean %B ESOP %D 2015 %E Vitek, Jan %I Springer %K dblp %P 736-761 %T A Separation Logic for Fictional Sequential Consistency. %U http://dblp.uni-trier.de/db/conf/esop/esop2015.html#SieczkowskiSBP15 %V 9032 %@ 978-3-662-46668-1

@inproceedings{conf/esop/SieczkowskiSBP15, added-at = {2021-10-14T00:00:00.000+0200}, author = {Sieczkowski, Filip and Svendsen, Kasper and Birkedal, Lars and Pichon-Pharabod, Jean}, biburl = {https://www.bibsonomy.org/bibtex/2753f4c8f75ba2450a9b3e71db87e6d66/dblp}, booktitle = {ESOP}, crossref = {conf/esop/2015}, editor = {Vitek, Jan}, ee = {https://doi.org/10.1007/978-3-662-46669-8_30}, interhash = {99dc22bb7e1c4b8b5bcc61cc0e8f9d0f}, intrahash = {753f4c8f75ba2450a9b3e71db87e6d66}, isbn = {978-3-662-46668-1}, keywords = {dblp}, pages = {736-761}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T04:33:55.000+0200}, title = {A Separation Logic for Fictional Sequential Consistency.}, url = {http://dblp.uni-trier.de/db/conf/esop/esop2015.html#SieczkowskiSBP15}, volume = 9032, year = 2015 }