Reachability analysis of augmented marked graphs via integer linear programming /

Shranjeno v:
Bibliografske podrobnosti
Glavni avtor: Chen, Chien-Liang.
Drugi avtorji: Chin, Shao-Chi., Yen, Hsu-Chun.
Format: Bài viết
Jezik:English
Teme:
Oznake: Označite
Brez oznak, prvi označite!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt