|
Search the dblp DataBase
Carlos Rossi:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Manuel Enciso, Inman P. de Guzmán, Carlos Rossi
A Temporal Logic for Program Specification. [Citation Graph (0, 0)][DBLP] GULP-PRODE (2), 1994, pp:309-323 [Conf]
- Carlos Rossi, Manuel Enciso, Angel Mora
A First Order Temporal Logic for Behavior Representation. [Citation Graph (0, 0)][DBLP] IBERAMIA, 2004, pp:408-418 [Conf]
- Manuel Enciso, Inman P. de Guzmán, Carlos Rossi
Temporal Reasoning over Linear Discrete Time. [Citation Graph (0, 0)][DBLP] JELIA, 1996, pp:303-319 [Conf]
- Carlos Rossi, Manuel Enciso, Inmaculada Perez de Guzmán
Formalization of UML state machines using temporal logic. [Citation Graph (0, 0)][DBLP] Software and System Modeling, 2004, v:3, n:1, pp:31-54 [Journal]
Search in 0.001secs, Finished in 0.001secs
|