Constraint-based linearrelations analysis (2004)

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