APA (7th ed.) Citation

MUFUTUMARI, N., & RUPERE, T. (2013). Modeling and Verification of D-flip flop using PROMELA and SPIN. International Journal of Computing & ICT Research, 7(2), 48.

Chicago Style (17th ed.) Citation

MUFUTUMARI, NEPHAS, and TAURAYI RUPERE. "Modeling and Verification of D-flip Flop Using PROMELA and SPIN." International Journal of Computing & ICT Research 7, no. 2 (2013): 48.

MLA (9th ed.) Citation

MUFUTUMARI, NEPHAS, and TAURAYI RUPERE. "Modeling and Verification of D-flip Flop Using PROMELA and SPIN." International Journal of Computing & ICT Research, vol. 7, no. 2, 2013, p. 48.