| 1994 |
|---|
| 4 | | Greetha Ramanathan:
Refinement of Events in the Development of Real-Time Distributed Systems.
Theor. Comput. Sci. 133(2): 341-359 (1994) |
| 1992 |
|---|
| 3 | | Greetha Ramanathan:
A Unified Framework for Database Specification: Functional Approach.
Formal Methods in Databases and Software Engineering 1992: 96-110 |
| 1991 |
|---|
| 2 | | Vangalur S. Alagar,
Greetha Ramanathan:
Functional Specification and Proof of Correctness for Time Dependent Behaviour of Reactive Systems.
Formal Asp. Comput. 3(3): 253-283 (1991) |
| 1988 |
|---|
| 1 | | Vangalur S. Alagar,
Greetha Ramanathan:
Formal Environment and Tools Description for the Analysis of Real Time Concurrent Systems.
Specification and Verification of Concurrent Systems 1988: 196-235 |
