%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 dblp %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 = {2020-05-18T00:00:00.000+0200}, author = {Antonino, Pedro R. G. and Gibson-Robinson, Thomas and Roscoe, A. W.}, biburl = {https://www.bibsonomy.org/bibtex/27c45c6fbbb3832164f16361a2d4782a9/dblp}, 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 = {dblp}, pages = {43-59}, series = {Lecture Notes in Computer Science}, timestamp = {2020-05-19T12:34:59.000+0200}, title = {Tighter Reachability Criteria for Deadlock-Freedom Analysis.}, url = {http://dblp.uni-trier.de/db/conf/fm/fm2016.html#AntoninoGR16}, volume = 9995, year = 2016 }