bibtex

@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},
}

URL

Publication Sections


Contact | Site Map | Site powered by SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 1126805