Article,

The intuitionism behind Statecharts steps.

, and .
ACM Trans. Comput. Log., 3 (1): 1-41 (2002)

Meta data

Tags

Users

  • @dblp

Comments and Reviews