| |
| 2003 | ||
|---|---|---|
| 2 | EE | David Garlan, Serge Khersonsky, Jung Soo Kim: Model Checking Publish-Subscribe Systems. SPIN 2003: 166-180 |
| 2000 | ||
| 1 | EE | David Garlan, Serge Khersonsky: Model Checking Implicit-Invocation Systems. IWSSD 2000: 23-30 |
| 1 | David Garlan | [1] [2] |
| 2 | Jung Soo Kim | [2] |