Lakhnech, Y. (Hrsg.) (2004) „Formal techniques, modelling and analysis of timed and fault tolerant systems : proceedings“, Lecture notes in computer science. Berlin: Springer (Lecture notes in computer science, Vol. 3253).
Chicago Manual of Style 17th edition (full note)Lakhnech, Yassine, Hrsg. „Formal techniques, modelling and analysis of timed and fault tolerant systems : proceedings“. Book. Lecture notes in computer science. Lecture notes in computer science, Vol. 3253. Berlin: Springer, [2004?], Berlin: Springer, [2004?].
American Psychological Association 7th editionLakhnech, Y. (Hrsg.). (ca. 2004). Formal techniques, modelling and analysis of timed and fault tolerant systems : proceedings [Book]. In Lecture notes in computer science. Springer.
Modern Language Association 9th editionLakhnech, Y., Herausgeber. „Formal techniques, modelling and analysis of timed and fault tolerant systems : proceedings“. Lecture notes in computer science, book, Springer, 2004.
ISO-690 (author-date, Deutsch)LAKHNECH, Yassine (Hrsg.). [book]. 2004. Berlin: Springer. Lecture notes in computer science, Vol. 3253. ISBN 3540231676