Scalable analysis of linear systems using mathematical programming (2005)

by Sriram Sankaranarayanan, Henny B Sipma, Zohar Manna
Venue:In VMCAI