| 2009 | ||
|---|---|---|
| 1 | Osman Hasan, Naeem Abbasi, Behzad Akbarpour, Sofiène Tahar, Reza Akbarpour: Formal Reasoning about Expectation Properties for Continuous Random Variables. FM 2009: 435-450 | |
| 1 | Naeem Abbasi | [1] |
| 2 | Behzad Akbarpour | [1] |
| 3 | Osman Hasan | [1] |
| 4 | Sofiène Tahar | [1] |