Inproceedings,

Visual Language for Behavioral Specifications of Reactive Systems.

, and .
ICCL, page 200-210. IEEE Computer Society, (1994)

Meta data

Tags

Users

  • @dblp

Comments and Reviews