Techniques to Tackle State Explosion in global Predicate Detection.

Sridhar Alagar, Subbarayan Venkatesan

Browse the full ICPADS paper archive.