APA ציטוט

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

Chicago Style (17th ed.) Citation

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

ציטוט MLA

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