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 |
1 | Vangalur S. Alagar (Vasu S. Alagar) | [1] [2] |