Sign in

A BDD-Based Approach for Designing Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems.

Zhennan FeiSpyros A. ReveliotisSajed MiremadiKnut Åkesson
Published in: IEEE Trans Autom. Sci. Eng. (2015)
Keyphrases