| |
| 2008 | ||
|---|---|---|
| 1 | EE | Deepak D'Souza, Raveendra Holla, Janardhan Kulkarni, Raghavendra K. Ramesh, Barbara Sprick: On the Decidability of Model-Checking Information Flow Properties. ICISS 2008: 26-40 |
| 1 | Deepak D'Souza | [1] |
| 2 | Raveendra Holla | [1] |
| 3 | Raghavendra K. Ramesh | [1] |
| 4 | Barbara Sprick | [1] |