A Comparative Study between Linear Programming Validation (LPV) and other Verification Methods

Samuel Devulder, Jean-Luc Lambert. A Comparative Study between Linear Programming Validation (LPV) and other Verification Methods. In ASE. pages 299-302, 1999. [doi]

Authors

Samuel Devulder

This author has not been identified. Look up 'Samuel Devulder' in Google

Jean-Luc Lambert

This author has not been identified. Look up 'Jean-Luc Lambert' in Google