WARDANA, Awang Noor Indra, 2009. Development of automatic program verification for continuous function chart based on model checking. Kassel: Kassel University Press.
Elsevier - Harvard (with titles)Wardana, A.N.I., 2009. Development of automatic program verification for continuous function chart based on model checking. Embedded Systems II Forschung, Embedded Systems II Forschung. Kassel University Press, Kassel. 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
Springer - Basic (author-date)Wardana ANI (2009) Development of automatic program verification for continuous function chart based on model checking. Kassel University Press
Juristische Zitierweise (Stüber) (Deutsch)Wardana, Awang Noor Indra, Development of automatic program verification for continuous function chart based on model checking, Kassel 2009.