Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%0 Conference Paper
%1 conf/fm/AntoninoGR16
%A Antonino, Pedro R. G.
%A Gibson-Robinson, Thomas
%A Roscoe, A. W.
%B FM
%D 2016
%E Fitzgerald, John S.
%E Heitmeyer, Constance L.
%E Gnesi, Stefania
%E Philippou, Anna
%K
%P 43-59
%T Tighter Reachability Criteria for Deadlock-Freedom Analysis.
%U http://dblp.uni-trier.de/db/conf/fm/fm2016.html#AntoninoGR16
%V 9995
%@ 978-3-319-48988-9
@inproceedings{conf/fm/AntoninoGR16,
added-at = {2023-12-13T04:17:25.000+0100},
author = {Antonino, Pedro R. G. and Gibson-Robinson, Thomas and Roscoe, A. W.},
biburl = {https://www.bibsonomy.org/bibtex/27c45c6fbbb3832164f16361a2d4782a9/admin},
booktitle = {FM},
crossref = {conf/fm/2016},
editor = {Fitzgerald, John S. and Heitmeyer, Constance L. and Gnesi, Stefania and Philippou, Anna},
ee = {https://doi.org/10.1007/978-3-319-48989-6_3},
interhash = {93fa8a48991d8654f06f5037a467fa90},
intrahash = {7c45c6fbbb3832164f16361a2d4782a9},
isbn = {978-3-319-48988-9},
keywords = {},
pages = {43-59},
series = {Lecture Notes in Computer Science},
timestamp = {2023-12-13T04:17:25.000+0100},
title = {Tighter Reachability Criteria for Deadlock-Freedom Analysis.},
url = {http://dblp.uni-trier.de/db/conf/fm/fm2016.html#AntoninoGR16},
volume = 9995,
year = 2016
}