ISL: An Interval Logic for the Specification of Real-time Programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Asis Goswami, Michael Bell, Mathai Joseph. ISL: An Interval Logic for the Specification of Real-time Programs. In Jan Vytopil, editor, Formal Techniques in Real-Time and Fault-Tolerant Systems, Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992, Proceedings. Volume 571 of Lecture Notes in Computer Science, pages 1-20, Springer, 1992.

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

runs on WebDSL