Shiyuan Ding, Takuya Katayama. Attributed State Machines For Behavior Specification of Reactive Systems. In SEKE 93, The 5th International Conference on Software Engineering and Knowledge Engineering, Tutorials, June 14-15, 1993, Technical Program, June 16-18, 1993, Hotel Sofitel, San Francisco Bay, USA. pages 695-702, Knowledge Systems Institute, 1993.
@inproceedings{DingK93:0,
title = {Attributed State Machines For Behavior Specification of Reactive Systems},
author = {Shiyuan Ding and Takuya Katayama},
year = {1993},
tags = {state machines},
researchr = {https://researchr.org/publication/DingK93%3A0},
cites = {0},
citedby = {0},
pages = {695-702},
booktitle = {SEKE 93, The 5th International Conference on Software Engineering and Knowledge Engineering, Tutorials, June 14-15, 1993, Technical Program, June 16-18, 1993, Hotel Sofitel, San Francisco Bay, USA},
publisher = {Knowledge Systems Institute},
}