ISO-690 (author-date, English)

MURAT, Valérie, Rennes 1 und GENET, Thomas, 2014. Extensions des automates d’arbres pour la vérification de systèmes à états infinis ; Tree automata extensions for verification of infinite states systems.

Elsevier - Harvard (with titles)

Murat, V., Rennes 1, Genet, T., 2014. Extensions des automates d’arbres pour la vérification de systèmes à états infinis ; Tree automata extensions for verification of infinite states systems.

American Psychological Association 7th edition

Murat, V., Rennes 1, & Genet, T. (2014). Extensions des automates d’arbres pour la vérification de systèmes à états infinis ; Tree automata extensions for verification of infinite states systems.

Springer - Basic (author-date)

Murat V, Rennes 1, Genet T (2014) Extensions des automates d’arbres pour la vérification de systèmes à états infinis ; Tree automata extensions for verification of infinite states systems

Juristische Zitierweise (Stüber) (Deutsch)

Murat, Valérie/ Rennes 1/ Genet, Thomas, Extensions des automates d’arbres pour la vérification de systèmes à états infinis ; Tree automata extensions for verification of infinite states systems, 2014.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.