TY - BOOK AU - Huang TI - Supervisory Control and Scheduling of Resource Allocation Systems: Reachability Graph Perspective PB - IEEE UR - https://ieeexplore.ieee.org/servlet/opac?bknumber=9143294 ER -