Travelled to:1 × Germany
Collaborated with:Z.Yang K.A.Sakallah X.Huang S.A.Smolka R.Grosu
Talks about:softwar (1) reduct (1) model (1) dynam (1) check (1) path (1)
Person: Bashar Al-Rawi
DBLP: Al-Rawi:Bashar
Contributed to:
2009Wrote 1 papers:
- IFM-2009-YangASHSG #model checking #reduction
- Dynamic Path Reduction for Software Model Checking (ZY, BAR, KAS, XH, SAS, RG), pp. 322–336.