Article,

Tool Support for Verifying UML Activity Diagrams.

, and .
IEEE Trans. Software Eng., 30 (7): 437-447 (2004)

Meta data

Tags

Users

  • @ist_spl
  • @jabreftest
  • @dblp

Comments and Reviews