Symbolic computation of boundary unsafe states in complex resource allocation systems using partitioning techniques | IEEE Conference Publication | IEEE Xplore