Constraint-based linearrelations analysis (2004)

by Sriram Sankaranarayanan , Henny B. Sipma , Zohar Manna
Venue:In Proc. SAS, LNCS 3148
Citations:30 - 2 self