| |
| 1996 | ||
|---|---|---|
| 2 | EE | Emanuele Ciapessoni, Edoardo Corsetti, Manlio Migliorati, Elena Ratto, Ernani Crivelli: Specifying Industrial Real-Time Systems with a Temporal Logic Framework. International Journal of Software Engineering and Knowledge Engineering 6(1): 21-61 (1996) |
| 1993 | ||
| 1 | Emanuele Ciapessoni, Edoardo Corsetti, Manlio Migliorati, Elena Ratto: Logical Specification of Real-Time Granular Systems in an Object Oriented Language. IJCAI 1993: 881-888 | |
| 1 | Emanuele Ciapessoni | [1] [2] |
| 2 | Edoardo Corsetti | [1] [2] |
| 3 | Ernani Crivelli | [2] |
| 4 | Elena Ratto | [1] [2] |