Scalable analysis of linear systems using mathematical programming (2005)

by S Sankaranarayanan, H B Sipma, Z Manna
Venue:In Proc. VMCAI, LNCS 3385