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, .

Advarsel: Disse citationer er muligvist ikke 100% nøjagtige.