Vector barrier certificates and comparison systems
scientific article; zbMATH DE number 7343225
scientific article