Alwi, S. (2013). Formal Verification of Logic Control Systems with Nondeterministic Behaviors. The Institute of Electrical Engineers of Japan.
استشهاد بنمط شيكاغوAlwi, 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%.