APA(7版)引用形式
Dimovski, A. S., & Fetaji, B. (2023). On Verifying Temporal Properties of Configurable Software. The Institute of Electrical and Electronics Engineers, Inc. (IEEE) Conference Proceedings. https://doi.org/10.1109/MECO58584.2023.10155049
Chicagoスタイル(17版)引用形式
Dimovski, Aleksandar S., , Bekim Fetaji. "On Verifying Temporal Properties of Configurable Software." The Institute of Electrical and Electronics Engineers, Inc. (IEEE) Conference Proceedings 2023. https://doi.org/10.1109/MECO58584.2023.10155049.
MLA(9版)引用形式
Dimovski, Aleksandar S., , Bekim Fetaji. "On Verifying Temporal Properties of Configurable Software." The Institute of Electrical and Electronics Engineers, Inc. (IEEE) Conference Proceedings, 2023, https://doi.org/10.1109/MECO58584.2023.10155049.
警告: この引用は必ずしも正確ではありません.