APA (7th ed.) Citation

Rahim, S., Rouzeyre, B., & Torres, L. A flip-flop matching engine to verify sequential optimizations.

Chicago Style (17th ed.) Citation

Rahim, Solaiman, Bruno Rouzeyre, and Lionel Torres. A Flip-flop Matching Engine to Verify Sequential Optimizations.

MLA (9th ed.) Citation

Rahim, Solaiman, et al. A Flip-flop Matching Engine to Verify Sequential Optimizations.

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