%0 Journal Article %1 journals/tosem/AttieBBJSZ18 %A Attie, Paul C. %A Bensalem, Saddek %A Bozga, Marius %A Jaber, Mohamad %A Sifakis, Joseph %A Zaraket, Fadi A. %D 2018 %J ACM Trans. Softw. Eng. Methodol. %K %N 3 %P 9:1-9:48 %T Global and Local Deadlock Freedom in BIP. %U http://dblp.uni-trier.de/db/journals/tosem/tosem26.html#AttieBBJSZ18 %V 26

@article{journals/tosem/AttieBBJSZ18, added-at = {2023-12-13T04:39:13.000+0100}, author = {Attie, Paul C. and Bensalem, Saddek and Bozga, Marius and Jaber, Mohamad and Sifakis, Joseph and Zaraket, Fadi A.}, biburl = {https://www.bibsonomy.org/bibtex/2b75d9b284317c1af281e465bca55e5f6/admin}, ee = {https://doi.org/10.1145/3152910}, interhash = {98a19712edbf4c3ff8ed5a152860f83b}, intrahash = {b75d9b284317c1af281e465bca55e5f6}, journal = {ACM Trans. Softw. Eng. Methodol.}, keywords = {}, number = 3, pages = {9:1-9:48}, timestamp = {2023-12-13T04:39:13.000+0100}, title = {Global and Local Deadlock Freedom in BIP.}, url = {http://dblp.uni-trier.de/db/journals/tosem/tosem26.html#AttieBBJSZ18}, volume = 26, year = 2018 }