Temporal Precondition Verification of Design Transformations.

Ranga Vemuri, Anuradha Sridhar

Browse the full CAV paper archive.