%0 Conference Paper %1 conf/icalp/BouajjaniMM11 %A Bouajjani, Ahmed %A Meyer, Roland %A Möhlmann, Eike %B ICALP (2) %D 2011 %E Aceto, Luca %E Henzinger, Monika %E Sgall, Jirí %I Springer %K dblp %P 428-440 %T Deciding Robustness against Total Store Ordering. %U http://dblp.uni-trier.de/db/conf/icalp/icalp2011-2.html#BouajjaniMM11 %V 6756 %@ 978-3-642-22011-1

@inproceedings{conf/icalp/BouajjaniMM11, added-at = {2022-10-02T00:00:00.000+0200}, author = {Bouajjani, Ahmed and Meyer, Roland and Möhlmann, Eike}, biburl = {https://www.bibsonomy.org/bibtex/274e03fbc1551844d237b47dd9bff60dd/dblp}, booktitle = {ICALP (2)}, crossref = {conf/icalp/2011-2}, editor = {Aceto, Luca and Henzinger, Monika and Sgall, Jirí}, ee = {https://doi.org/10.1007/978-3-642-22012-8_34}, interhash = {aa8a4a0afc0927c638ebb4bddebbb379}, intrahash = {74e03fbc1551844d237b47dd9bff60dd}, isbn = {978-3-642-22011-1}, keywords = {dblp}, pages = {428-440}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T19:17:43.000+0200}, title = {Deciding Robustness against Total Store Ordering.}, url = {http://dblp.uni-trier.de/db/conf/icalp/icalp2011-2.html#BouajjaniMM11}, volume = 6756, year = 2011 }