Scalable analysis of linear systems using mathematical programming (2005)

by S Sankaranarayanan, H B Sipma, Z Manna
Venue:In VMCAI