| |
| 2001 | ||
|---|---|---|
| 2 | N. Petalidis, D. S. Gill: Introducing monitoring events to timed-CSP. IEE Proceedings - Software 148(1): 19-29 (2001) | |
| 1998 | ||
| 1 | EE | N. Petalidis, D. S. Gill: The Formal Specification of the Fieldbus Foundation Link Scheduler in E-LOTOS. ICFEM 1998: 200- |
| 1 | N. Petalidis | [1] [2] |