Article,

Behavioral Refinement and Compatibility of Statechart Extensions.

.
Electron. Notes Theor. Comput. Sci., (2013)

Meta data

Tags

Users

  • @dblp
  • @andiv

Comments and Reviews