APA

Djaber K., Sad̐ouni D. E., . (2010). Vérification formelle des systémes temps réel. : .

Chicago

Djaber Khaled, Sad̐ouni Djamel Eddine, . 2010. Vérification formelle des systémes temps réel. : .

Harvard

Djaber K., Sad̐ouni D. E., . (2010). Vérification formelle des systémes temps réel. : .

MLA

Djaber Khaled, Sad̐ouni Djamel Eddine, . Vérification formelle des systémes temps réel. : . 2010.