Semantics for Specifying Real-Time Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Mathai Joseph, Asis Goswami. Semantics for Specifying Real-Time 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 272-275, Springer, 1988.

This author has not been identified. Look up 'Mathai Joseph' in GoogleThis author has not been identified. Look up 'Asis Goswami' in Google

runs on WebDSL