APA (7th ed.) Citation

Alagar, S. Techniques to tackle state explosion in global predicate detection. IEEE Transactions on software engineering.

Chicago Style (17th ed.) Citation

Alagar, S. "Techniques to Tackle State Explosion in Global Predicate Detection." IEEE Transactions on Software Engineering .

MLA (9th ed.) Citation

Alagar, S. "Techniques to Tackle State Explosion in Global Predicate Detection." IEEE Transactions on Software Engineering, .

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