Vangalur S. Alagar, Greetha Ramanathan. Formal Environment and Tools Description for the Analysis of Real Time Concurrent Systems. In Charles Rattray, editor, Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK]. Workshops in Computing, pages 196-235, Springer, 1988.
Abstract is missing.