%0 Conference Paper %1 conf/lics/HoffmannMS13 %A Hoffmann, Jan %A Marmar, Michael %A Shao, Zhong %B LICS %D 2013 %I IEEE Computer Society %K dblp %P 124-133 %T Quantitative Reasoning for Proving Lock-Freedom. %U http://dblp.uni-trier.de/db/conf/lics/lics2013.html#HoffmannMS13 %@ 978-1-4799-0413-6

@inproceedings{conf/lics/HoffmannMS13, added-at = {2015-05-27T00:00:00.000+0200}, author = {Hoffmann, Jan and Marmar, Michael and Shao, Zhong}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2470e6f31571061028cbdddf353fb264e/dblp}, booktitle = {LICS}, crossref = {conf/lics/2013}, ee = {http://dl.acm.org/citation.cfm?id=2591437}, interhash = {03a7bfe9f308f3bfb255e81f6fe5e37d}, intrahash = {470e6f31571061028cbdddf353fb264e}, isbn = {978-1-4799-0413-6}, keywords = {dblp}, pages = {124-133}, publisher = {IEEE Computer Society}, timestamp = {2016-02-02T16:32:38.000+0100}, title = {Quantitative Reasoning for Proving Lock-Freedom.}, url = {http://dblp.uni-trier.de/db/conf/lics/lics2013.html#HoffmannMS13}, year = 2013 }