СТ |
Safety for Branching Time Semantics |
1991 |
Bouajjani A., Fernandez J., Graf S., Rodriguez C., Sifakis J. |
|
|
|
Lecture Notes in Computer Science |
11.09.1991 |
СТ |
A Tool to Reengineer Legacy Systems to Object-Oriented Systems |
1999 |
Cobo H., Mauco V., Romero M., Rodriguez C. |
|
|
|
Lecture Notes in Computer Science |
30.11.1999 |
СТ |
A Language for the Complexity Analysis of Parallel Programs |
2002 |
Gonzalez J. A., Leon C., Pristinta M., Roda J. L., Rodriguez C., Rodriguez J. M., Sande F. |
|
|
|
Lecture Notes in Computer Science |
31.07.2002 |
СТ |
From Complexity Analysis to Performance Analysis |
2003 |
Blanco V., Gonzalez J. A., Leon C., Rodriguez C., Rodriguez G. |
|
|
|
Lecture Notes in Computer Science |
23.09.2003 |
СТ |
Complexity Driven Performance Analysis |
2003 |
Garcia L., Gonzalez J. A., Gonzalez J. C., Leon C., Rodriguez C., Rodriguez G. |
|
|
|
Lecture Notes in Computer Science |
15.01.2004 |