%0 Conference Paper %1 conf/esop/LeinoMS10 %A Leino, K. Rustan M. %A Müller, Peter %A Smans, Jan %B ESOP %D 2010 %E Gordon, Andrew D. %I Springer %K %P 407-426 %T Deadlock-Free Channels and Locks. %U http://dblp.uni-trier.de/db/conf/esop/esop2010.html#LeinoMS10 %V 6012 %@ 978-3-642-11956-9

@inproceedings{conf/esop/LeinoMS10, added-at = {2023-12-14T14:19:04.000+0100}, author = {Leino, K. Rustan M. and Müller, Peter and Smans, Jan}, biburl = {https://www.bibsonomy.org/bibtex/28f452e692e45cf545bb897eff2986c09/admin}, booktitle = {ESOP}, crossref = {conf/esop/2010}, editor = {Gordon, Andrew D.}, ee = {https://doi.org/10.1007/978-3-642-11957-6_22}, interhash = {de824f322a8279c3b7e6bcd458cc27fd}, intrahash = {8f452e692e45cf545bb897eff2986c09}, isbn = {978-3-642-11956-9}, keywords = {}, pages = {407-426}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-14T14:19:04.000+0100}, title = {Deadlock-Free Channels and Locks.}, url = {http://dblp.uni-trier.de/db/conf/esop/esop2010.html#LeinoMS10}, volume = 6012, year = 2010 }