Publications

Behavioral consistency validation of UML diagrams

• • B. Litvak
  • S. Tyszberowicz
  • et al.
• 2003
• SEFM 2003