PeCAn: Compositional Verification of Petri Nets Made Easy. - Dinh-Thuan Le; Huu-Vu Nguyen; Van-Tinh Nguyen; Phuong-Nam Mai; Bao-Trung Pham-Duy; Thanh-Tho Quan; Étienne André; Laure Petrucci; Yang Liu 003 (ATVA, 2014)

Reusing Symbolic Observation Graph for Efficient Model Checking. - Bao-Trung Pham-Duy; Trinh Van Giang; Le Dinh Thuan; Quan Thanh Tho (KSE, 2015)