Reachability Analysis of Augmented Marked Graphs via Integer Linear Programming

Chien-Liang Chen, Shao-Chi Chin, Hsu-Chun Yen. Reachability Analysis of Augmented Marked Graphs via Integer Linear Programming. Comput. J., 53(6):623-633, 2010. [doi]

Authors

Chien-Liang Chen

This author has not been identified. Look up 'Chien-Liang Chen' in Google

Shao-Chi Chin

This author has not been identified. Look up 'Shao-Chi Chin' in Google

Hsu-Chun Yen

This author has not been identified. Look up 'Hsu-Chun Yen' in Google