by Le, Dinh-Thuan, Nguyen, Huu-Vu, Nguyen, Van-Tinh, Mai, Phuong-Nam, Pham-Duy, Bao-Trung, Quan, Thanh-Tho, André, Étienne, Petrucci, Laure, Liu, Yang
Published in Automated Technology for Verification and Analysis (2014)