C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Global and Local Deadlock Freedom in BIP.
Paul C. Attie
Saddek Bensalem
Marius Bozga
Mohamad Jaber
Joseph Sifakis
Fadi A. Zaraket
Published in:
ACM Trans. Softw. Eng. Methodol. (2018)
Keyphrases
</>
real time
real world
artificial intelligence
metadata
multiscale
feature vectors