APA (7th ed.) Citation

Shuja, S., Srinivasan, S. K., Jabeen, S., & Nawarathna, D. A Formal Verification Methodology for DDD Mode Pacemaker Control Programs. Wiley.

Chicago Style (17th ed.) Citation

Shuja, Sana, Sudarshan K. Srinivasan, Shaista Jabeen, and Dharmakeerthi Nawarathna. A Formal Verification Methodology for DDD Mode Pacemaker Control Programs. Wiley.

MLA (9th ed.) Citation

Shuja, Sana, et al. A Formal Verification Methodology for DDD Mode Pacemaker Control Programs. Wiley.