research article

Global and Local Deadlock Freedom in BIP

Attie, PC
•
Bensalem, S
•
Bozga, M
Show more
2018
ACM Transactions on Software Engineering and Methodology