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

Zhennan Fei(Chalmers University of Technology), Knut Åkesson(Chalmers University of Technology)
IEEE Transactions on Automation Science and Engineering
December 19, 2014
10.1109/tase.2014.2369858
Cited by 20

Related Papers

No related papers found

Powered by citation graph analysis