APA-viite (7. p.)

Ejercito, J. A. C., & Malinao, J. A. An automated verification of the notions of soundness of robustness diagram with loop and time controls.

Chicago-viite (17. p.)

Ejercito, James Andrew C., ja Jasmine A. Malinao. An Automated Verification of the Notions of Soundness of Robustness Diagram with Loop and Time Controls.

MLA-viite (9. p.)

Ejercito, James Andrew C., ja Jasmine A. Malinao. An Automated Verification of the Notions of Soundness of Robustness Diagram with Loop and Time Controls.