Scalable analysis of linear systems using mathematical programming (2005)

by Sriram Sankaranarayanan , Henny B. Sipma , Zohar Manna
Venue:In Proc. VMCAI, LNCS 3385
Citations:67 - 8 self