Using Higher-order Logic for Modular Specification of Real-time Distributed Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Glenn H. MacEwen, David B. Skillicorn. Using Higher-order Logic for Modular Specification of Real-time Distributed Systems. In Mathai Joseph, editor, Formal Techniques in Real-Time and Fault-Tolerant Systems, Proceedings of a Symposium, Warwick, UK, September 22-23, 1988. Volume 331 of Lecture Notes in Computer Science, pages 36-66, Springer, 1988.

This author has not been identified. Look up 'Glenn H. MacEwen' in GoogleThis author has not been identified. Look up 'David B. Skillicorn' in Google

runs on WebDSL