Applications of polyhedral computations to the analysis and verification of hardware and software systems
scientific article; zbMATH DE number 5624945
scientific article