APA Style
kareem, B, A. (2023).
Analyzing and verifying plc programs using uppaal tool .
Erbil:
Salahaddin University-Erbil.
MLA Style
kareem, Bilal, A..
"Analyzing and verifying plc programs using uppaal tool".
Erbil:
Salahaddin University-Erbil,
2023.
Master.