Author Info
Name
Affiliation
Papers
GREETHA RAMANATHAN
Department of Computer Science Concordia University 1455 de Maisonneuve Blvd. H3G 1M8 West Montreal Quebec Canada
3
Collaborators
Citations 
PageRank 
1
15
2.00
Referers 
Referees 
References 
21
27
27
Title
Citations
PageRank
Year
A Unified Framework for Database Specification: Functional Approach00.341992
Functional Specification and Proof of Correctness for Time Dependent Behaviour of Reactive Systems111.131991
Formal Environment and Tools Description for the Analysis of Real Time Concurrent Systems40.541988