Scalable analysis of linear systems using mathematical programming (2005)

by S Sankaranarayanan, H B Sipma, Z Manna
Venue:Verification, Model Checking and Abstract Interpretation, volume 3385 of LNCS