Alwi, S., & Yasutaka, F. (2013). Formal Verification of Logic Control Systems with Nondeterministic Behaviors. The Institute of Electrical Engineers of Japan.
Chicago Style (17th ed.) CitationAlwi, Saifulza, and Fujimoto Yasutaka. Formal Verification of Logic Control Systems with Nondeterministic Behaviors. The Institute of Electrical Engineers of Japan, 2013.
MLA (9th ed.) CitationAlwi, Saifulza, and Fujimoto Yasutaka. Formal Verification of Logic Control Systems with Nondeterministic Behaviors. The Institute of Electrical Engineers of Japan, 2013.
Warning: These citations may not always be 100% accurate.