Interactive Configuration Verification Using Constraint Programming

Interactive Configuration Verification Using Constraint Programming

Interactive Configuration Verification Using Constraint Programming

Authors: R. Behjati and S. Nejati
Status: Published
Publication type: Presentation
Year of publication: 2014
Journal: Lyon, France
Publisher: CP meets Verification
Citation key: 8747

Google Scholar BibTex