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.
@inproceedings{ChanC94,
title = {Visual Language for Behavioral Specifications of Reactive Systems},
author = {K. Gary Chan and H. Lewis Chau},
year = {1994},
researchr = {https://researchr.org/publication/ChanC94},
cites = {0},
citedby = {0},
pages = {200-210},
booktitle = {Proceedings of the IEEE Computer Society 1994 International Conference on Computer Languages, May 16-19, 1994, Toulouse, France},
editor = {Henri E. Bal},
publisher = {IEEE Computer Society},
}