| |
| 2001 | ||
|---|---|---|
| 2 | EE | Riccardo Mattolini, Paolo Nesi: An Interval Logic for Real-Time System Specification. IEEE Trans. Software Eng. 27(3): 208-227 (2001) |
| 1996 | ||
| 1 | EE | Riccardo Mattolini, Paolo Nesi: Using TILCO for Specifying Real-Time Systems. ICECCS 1996: 18- |
| 1 | Paolo Nesi | [1] [2] |