Differences
This shows you the differences between two versions of the page.
| 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 ===== | ||