APA način citiranja (7. izdanje)
Liu, Y. (2025). Advancing File System Model Checking: Coverage, Framework, and Scalability. ProQuest Dissertations and Theses.
Čikaški stil citiranja (17. izdanje)
Liu, Yifei. "Advancing File System Model Checking: Coverage, Framework, and Scalability." ProQuest Dissertations and Theses 2025.
MLA način citiranja (9. izdanje)
Liu, Yifei. "Advancing File System Model Checking: Coverage, Framework, and Scalability." ProQuest Dissertations and Theses, 2025.
Upozorenje: Ovi citati možda nisu uvijek 100% točni.