| |
| 2004 | ||
|---|---|---|
| 5 | EE | Carlos Rossi, Manuel Enciso, Angel Mora: A First Order Temporal Logic for Behavior Representation. IBERAMIA 2004: 408-418 |
| 4 | EE | Carlos Rossi, Manuel Enciso, Inmaculada Perez de Guzmán: Formalization of UML state machines using temporal logic. Software and System Modeling 3(1): 31-54 (2004) |
| 1996 | ||
| 3 | Manuel Enciso, Inman P. de Guzmán, Carlos Rossi: Temporal Reasoning over Linear Discrete Time. JELIA 1996: 303-319 | |
| 1995 | ||
| 2 | EE | Inmaculada Perez de Guzmán, Carlos Rossi: LNint: A Temporal Logic that Combines Points and Intervals and the Absolute and Relative Approaches. Logic Journal of the IGPL 3(5): 745-764 (1995) |
| 1994 | ||
| 1 | Manuel Enciso, Inman P. de Guzmán, Carlos Rossi: A Temporal Logic for Program Specification. GULP-PRODE (2) 1994: 309-323 | |
| 1 | Manuel Enciso | [1] [3] [4] [5] |
| 2 | Inmaculada Perez de Guzmán | [2] [4] |
| 3 | Inman P. de Guzmán | [1] [3] |
| 4 | Angel Mora | [5] |