"Tool Support for Verifying UML Activity Diagrams."

Rik Eshuis, Roel J. Wieringa (2004)

Details and statistics

DOI: 10.1109/TSE.2004.33

access: closed

type: Journal Article

metadata version: 2019-03-14

a service of  Schloss Dagstuhl - Leibniz Center for Informatics