@article{ABB+8,
title = { Global and Local Deadlock Freedom in {BIP} },
author = {Attie, Paul C. and Bensalem, Saddek and Bozga, Marius and Jaber, Mohamad and Sifakis, Joseph and Zaraket, Fadi A.},
year = {2018},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
number = {3},
pages = {9:1--9:48},
volume = {26},
team = {RSD, DCS, axe_Mohytos},
}
