Citazione Stile APA (7a Edizione)

Asoy, A. L. B., & Malinao, J. A. Automated verification of Classical Soundness in Robustness Diagrams with Loop and Time Controls via L-safeness.

Citazione stile Chigago Style (17a edizione)

Asoy, Andrei Luz B., e Jasmine A. Malinao. Automated Verification of Classical Soundness in Robustness Diagrams with Loop and Time Controls via L-safeness.

Citatione MLA (9a ed.)

Asoy, Andrei Luz B., e Jasmine A. Malinao. Automated Verification of Classical Soundness in Robustness Diagrams with Loop and Time Controls via L-safeness.