K. Gary Chan, H. Lewis Chau. Visual Language for Behavioral Specifications of Reactive Systems. In Henri E. Bal, editor, Proceedings of the IEEE Computer Society 1994 International Conference on Computer Languages, May 16-19, 1994, Toulouse, France. pages 200-210, IEEE Computer Society, 1994.
No references recorded for this publication.
No citations of this publication recorded.