APA (7th ed.) Citation

Ferrando, A., Malvone, V., Murano, A., & Stranieri, S. (2023). HYASM: A Tool to Verify Hierarchical Systems. 2023 IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), 2023 IEEE International Conference on, 1. https://doi.org/10.1109/WETICE57085.2023.10477788

Chicago Style (17th ed.) Citation

Ferrando, Angelo, Vadim Malvone, Aniello Murano, and Silvia Stranieri. "HYASM: A Tool to Verify Hierarchical Systems." 2023 IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), 2023 IEEE International Conference on 2023: 1. https://doi.org/10.1109/WETICE57085.2023.10477788.

MLA (9th ed.) Citation

Ferrando, Angelo, et al. "HYASM: A Tool to Verify Hierarchical Systems." 2023 IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), 2023 IEEE International Conference on, 2023, p. 1, https://doi.org/10.1109/WETICE57085.2023.10477788.