| |
| 1999 | ||
|---|---|---|
| 4 | EE | Dimitrie O. Paun, Marsha Chechik: Events in Linear-Time Properties. RE 1999: 123-132 |
| 3 | EE | Marsha Chechik, Dimitrie O. Paun: Events in Property Patterns. SPIN 1999: 154-167 |
| 2 | EE | Marsha Chechik, Dimitrie O. Paun: Events in Property Patterns CoRR cs.SE/9906029: (1999) |
| 1 | EE | Dimitrie O. Paun, Marsha Chechik: Events in Linear-Time Properties CoRR cs.SE/9906031: (1999) |
| 1 | Marsha Chechik | [1] [2] [3] [4] |