Greetha Ramanathan (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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)

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

Selection of 2 from 4 records - Greetha Ramanathan has 1 coauthors

Last update 2012-02-17 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

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)
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