Carlos Rossi

	2004
5		Carlos Rossi, Manuel Enciso, Angel Mora: A First Order Temporal Logic for Behavior Representation. IBERAMIA 2004: 408-418
4		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		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

Coauthor Index

1	Manuel Enciso	[1] [3] [4] [5]
2	Inmaculada Perez de Guzmán (Inman P. de Guzmán)	[1] [2] [3] [4]
3	Angel Mora	[5]