title   
  

Creator/Author/Editor: Zhu, Dong

2009

Jourdan, Guy-Vincent and Ural, Hasan and Yenigün, Hüsnü and Zhu, Dong (2009) Using a SAT solver to generate checking sequences. In: 24th International Symposium on Computer and Information Sciences, 2009 (ISCIS 2009), Güzelyurt, Kuzey Kıbrıs

This list was generated on Tue Sep 2 00:26:43 2014 EEST.