Chen, C., Chin, S., & Yen, H. Reachability analysis of augmented marked graphs via integer linear programming.

Chen, Chien-Liang., Shao-Chi Chin, و Hsu-Chun Yen. Reachability Analysis of Augmented Marked Graphs Via Integer Linear Programming.

Chen, Chien-Liang., Shao-Chi Chin, و Hsu-Chun Yen. Reachability Analysis of Augmented Marked Graphs Via Integer Linear Programming.