Applications of polyhedral computations to the analysis and verification of hardware and software systems

From MaRDI portal
(Redirected from Publication:1035700)