Ejercito, J. A. C., & Malinao, J. A. An automated verification of the notions of soundness of robustness diagram with loop and time controls.
Čikaški stil citiranja (17. izdanje)Ejercito, James Andrew C., i Jasmine A. Malinao. An Automated Verification of the Notions of Soundness of Robustness Diagram with Loop and Time Controls.
MLA način citiranja (9. izdanje)Ejercito, James Andrew C., i Jasmine A. Malinao. An Automated Verification of the Notions of Soundness of Robustness Diagram with Loop and Time Controls.
Upozorenje: Ovi citati možda nisu uvijek 100% točni.