Trích dẫn APA

Fakih,Khaled El-, Bensalem,Saddek, Bozga,Marius, Yevtushenko,Nina, & Bensalem,Saddek  . Distinguishing extended finite state machine configurations using predicate abstraction. Bensalem,Saddek  .

Trích dẫn kiểu Chicago

Fakih,Khaled El-, Bensalem,Saddek, Bozga,Marius, Yevtushenko,Nina, và Bensalem,Saddek  . Distinguishing Extended Finite State machine Configurations Using Predicate abstraction. Bensalem,Saddek  .

Trích dẫn MLA

Fakih,Khaled El-, et al. Distinguishing Extended Finite State machine Configurations Using Predicate abstraction. Bensalem,Saddek  .

Cảnh báo! Những trích dẫn này có thể không chính xác 100%.