Alwi, S. (2013). Formal Verification of Logic Control Systems with Nondeterministic Behaviors. The Institute of Electrical Engineers of Japan.
Chicago Style CitationAlwi, Saifulza. Formal Verification of Logic Control Systems With Nondeterministic Behaviors. The Institute of Electrical Engineers of Japan, 2013.
MLA引文Alwi, Saifulza. Formal Verification of Logic Control Systems With Nondeterministic Behaviors. The Institute of Electrical Engineers of Japan, 2013.
警告:這些引文格式不一定是100%准確.