%0 Conference Paper %1 conf/sbac-pad/LeGCP13 %A Lê, Nhat Minh %A Guatto, Adrien %A Cohen, Albert %A Pop, Antoniu %B SBAC-PAD %D 2013 %I IEEE Computer Society %K %P 144-151 %T Correct and Efficient Bounded FIFO Queues. %U http://dblp.uni-trier.de/db/conf/sbac-pad/sbac-pad2013.html#LeGCP13 %@ 978-1-4799-2927-6

@inproceedings{conf/sbac-pad/LeGCP13, added-at = {2023-12-13T07:31:59.000+0100}, author = {Lê, Nhat Minh and Guatto, Adrien and Cohen, Albert and Pop, Antoniu}, biburl = {https://www.bibsonomy.org/bibtex/2d6961523877648a7f242c702635fbf5b/admin}, booktitle = {SBAC-PAD}, crossref = {conf/sbac-pad/2013}, ee = {http://doi.ieeecomputersociety.org/10.1109/SBAC-PAD.2013.8}, interhash = {ba29dd050f21796a69702f6f722e603e}, intrahash = {d6961523877648a7f242c702635fbf5b}, isbn = {978-1-4799-2927-6}, keywords = {}, pages = {144-151}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T07:31:59.000+0100}, title = {Correct and Efficient Bounded FIFO Queues.}, url = {http://dblp.uni-trier.de/db/conf/sbac-pad/sbac-pad2013.html#LeGCP13}, year = 2013 }