APA (7th ed.) Citation

Ganesha & Chakrabarti, S. K. (2025). A Formal Verification Approach to Safeguard Controller Variables from Single Event Upset.

Chicago Style (17th ed.) Citation

Ganesha and Sujit Kumar Chakrabarti. A Formal Verification Approach to Safeguard Controller Variables from Single Event Upset. 2025.

MLA (9th ed.) Citation

Ganesha and Sujit Kumar Chakrabarti. A Formal Verification Approach to Safeguard Controller Variables from Single Event Upset. 2025.

Warning: These citations may not always be 100% accurate.