Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%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
}