Export 2 results:
Filters: 1 is biblio_type:Talk, keynote and Keyword is Workshop and Author is Shiva Nejati  [Clear All Filters]
2014
R. Behjati, and S. Nejati. Interactive Configuration Verification Using Constraint Programming In Lyon, France. Lyon, France: CP meets Verification, 2014.