Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision Both sides next revision
haifa12 [2012/11/04 13:15]
eran.yahav
haifa12 [2012/11/04 15:48]
eran.yahav
Line 96: Line 96:
  
 Reductions for Synthesis Procedures / Philippe Suter  Reductions for Synthesis Procedures / Philippe Suter 
 +
 +Information Flow Analysis / Markus Rabe
  
 ===== Full Abstracts ===== ===== Full Abstracts =====