Wardana, A.N.I. (2009) Development of automatic program verification for continuous function chart based on model checking [cd], Embedded Systems II Forschung. Kassel University Press. doi:urn:nbn:de:0002-8077.
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“. Cd. Embedded Systems II Forschung. Embedded Systems II Forschung 3. Kassel University Press, [2009?], Kassel University Press, [2009?]. https://doi.org/urn:nbn:de:0002-8077.
American Psychological Association 7th editionWardana, A. N. I. (ca. 2009). Development of automatic program verification for continuous function chart based on model checking [Kassel University Press; Cd]. In Embedded Systems II Forschung. https://doi.org/urn:nbn:de:0002-8077
Modern Language Association 9th editionWardana, A. N. I. „Development of automatic program verification for continuous function chart based on model checking“. Embedded Systems II Forschung, cd, Kassel University Press, 2009, https://doi.org/urn:nbn:de:0002-8077.
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