Cita APA (7a ed.)

Pillot, P. (2010). Utilisation des langages d'arbres pour la modélisation et la vérification des systèmes à états infinis. [CCSD].

Cita Chicago Style (17a ed.)

Pillot, Pierre. Utilisation Des Langages D'arbres Pour La Modélisation Et La Vérification Des Systèmes à états Infinis. Villeurbanne: [CCSD], 2010.

Cita MLA (8a ed.)

Pillot, Pierre. Utilisation Des Langages D'arbres Pour La Modélisation Et La Vérification Des Systèmes à états Infinis. [CCSD], 2010.