Reachability analysis of augmented marked graphs via integer linear programming /

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Chen, Chien-Liang.
Weitere Verfasser: Chin, Shao-Chi., Yen, Hsu-Chun.
Format: Artikel
Sprache:English
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt