Sign in

An efficient algorithm for the enumeration of the minimal unsafe states in complex resource allocation systems.

Ahmed NazeemSpyros A. Reveliotis
Published in: CASE (2012)
Keyphrases