Wardana, A.N.I. (2009) Development of automatic program verification for continuous function chart based on model checking [book], Embedded systems. 2, Forschung. Kassel University Press.
Chicago Manual of Style 17th edition (full note)Wardana, Awang Noor Indra. „Development of automatic program verification for continuous function chart based on model checking“. Book. Embedded systems. 2, Forschung. Embedded systems. 2, Forschung 3. Kassel University Press, [2009?], Kassel University Press, [2009?].
American Psychological Association 7th editionWardana, A. N. I. (ca. 2009). Development of automatic program verification for continuous function chart based on model checking [Book]. In Embedded systems. 2, Forschung. Kassel University Press.
Modern Language Association 9th editionWardana, A. N. I. „Development of automatic program verification for continuous function chart based on model checking“. Embedded systems. 2, Forschung, book, Kassel University Press, 2009.
ISO-690 (author-date, Deutsch)WARDANA, Awang Noor Indra, 2009. Development of automatic program verification for continuous function chart based on model checking. Kassel: Kassel University Press