Deka, N., Zhang, M., Chadha, R., & Viswanathan, M. (2024). Deciding Branching Hyperproperties for Real Time Systems. 2024 IEEE 37th Computer Security Foundations Symposium (CSF), Computer Security Foundations Symposium (CSF), 2024 IEEE 37th, CSF, 65. https://doi.org/10.1109/CSF61375.2024.00032
Παραπομπή σε μορφή Chicago (17η εκδ.)Deka, Nabarun, Minjian Zhang, Rohit Chadha, και Mahesh Viswanathan. "Deciding Branching Hyperproperties for Real Time Systems." 2024 IEEE 37th Computer Security Foundations Symposium (CSF), Computer Security Foundations Symposium (CSF), 2024 IEEE 37th, CSF 2024: 65. https://doi.org/10.1109/CSF61375.2024.00032.
Παραπομπή σε μορφή MLA (9th εκδ.)Deka, Nabarun, et al. "Deciding Branching Hyperproperties for Real Time Systems." 2024 IEEE 37th Computer Security Foundations Symposium (CSF), Computer Security Foundations Symposium (CSF), 2024 IEEE 37th, CSF, 2024, p. 65, https://doi.org/10.1109/CSF61375.2024.00032.