Attributed State Machines For Behavior Specification of Reactive Systems.

Shiyuan Ding, Takuya Katayama

Browse the full SEKE paper archive.