Cita APA

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

Citación estilo Chicago

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

Cita MLA

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.