Quan D. Tran

Publication Activity (10 Years)

Years Active: 2010-2010
Publications (10 Years): 0

Publications

Tho T. Quan, Duc L. N. Hoang, B. Tam T. Nguyen, An N. Nguyen, Quan D. Tran, Phung H. Nguyen, Thang H. Bui, Anh T. Do, Linh V. Huynh, Nam T. Doan, Nguyen T. Huynh, Thien D. Nguyen, Binh T. T. Nguyen, Vu H. Nguyen
MAFSE: A Model-Based Framework for Software Verification. SSIRI (Companion) (2010)
Rebecca Calahan Calahan, Robert B. Gardner, Quan D. Tran
Tricyclic Steiner Triple Systems. Graphs Comb. 26 (1) (2010)