Login / Signup

Scalable liveness checking via property-preserving transformations.

Jason BaumgartnerHari Mony
Published in: DATE (2009)
Keyphrases
  • preserving transformations
  • shape analysis
  • differential geometry
  • query language
  • conjunctive queries