Sign in

A Symbolic Approach for Maximally Permissive Deadlock Avoidance in Complex Resource Allocation Systems.

Zhennan FeiSpyros A. ReveliotisKnut Åkesson
Published in: WODES (2014)
Keyphrases