Formal Specification of Ssynchronous Distributed Real-Time Systems by APTL.

Journal

Proceedings of the 14th International Conference on Software Engineering, Melbourne, Australia, May 11-15, 1992.

Pages

188-198

Date Issued

1992

Author(s)

Wang, Farn

Mok, Aloysius K.

Emerson, E. Allen

DOI

URI

URL

Type

conference paper