Bozzelli, L., Peron, A., & Sanchez, C. (2021, June 29). Asynchronous Extensions of HyperLTL. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 1-13. https://doi.org/10.1109/LICS52264.2021.9470583
Chicago-Zitierstil (17. Ausg.)Bozzelli, Laura, Adriano Peron, und Cesar Sanchez. "Asynchronous Extensions of HyperLTL." Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science 29 Jun. 2021: 1-13. https://doi.org/10.1109/LICS52264.2021.9470583.
MLA-Zitierstil (9. Ausg.)Bozzelli, Laura, et al. "Asynchronous Extensions of HyperLTL." Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 29 Jun. 2021, pp. 1-13, https://doi.org/10.1109/LICS52264.2021.9470583.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.