Gaya APA

Roux, H, B, G, G, A, O, H. (2009). TCTL Model Checking of Time Petri Nets . : .

Gaya MLA

Roux, Hanifa, Boucheneb,, Guillaume, Gardey,, And, Olivier, H.. "TCTL Model Checking of Time Petri Nets ". : , 2009. Text.