%0 Conference Paper %1 conf/ifm/GiachinoGLLW13 %A Giachino, Elena %A Grazia, Carlo Augusto %A Laneve, Cosimo %A Lienhardt, Michael %A Wong, Peter Y. H. %B IFM %D 2013 %E Johnsen, Einar Broch %E Petre, Luigia %I Springer %K %P 394-411 %T Deadlock Analysis of Concurrent Objects: Theory and Practice. %U http://dblp.uni-trier.de/db/conf/ifm/ifm2013.html#GiachinoGLLW13 %V 7940 %@ 978-3-642-38613-8

@inproceedings{conf/ifm/GiachinoGLLW13, added-at = {2023-12-12T17:17:54.000+0100}, author = {Giachino, Elena and Grazia, Carlo Augusto and Laneve, Cosimo and Lienhardt, Michael and Wong, Peter Y. H.}, biburl = {https://www.bibsonomy.org/bibtex/26c752384e9bae5aabc0db680c2c9e3d1/admin}, booktitle = {IFM}, crossref = {conf/ifm/2013}, editor = {Johnsen, Einar Broch and Petre, Luigia}, ee = {https://doi.org/10.1007/978-3-642-38613-8_27}, interhash = {019d79def022b8ef33caa5fd46222c16}, intrahash = {6c752384e9bae5aabc0db680c2c9e3d1}, isbn = {978-3-642-38613-8}, keywords = {}, pages = {394-411}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T17:17:54.000+0100}, title = {Deadlock Analysis of Concurrent Objects: Theory and Practice.}, url = {http://dblp.uni-trier.de/db/conf/ifm/ifm2013.html#GiachinoGLLW13}, volume = 7940, year = 2013 }