Tool Support for Verifying UML Activity Diagrams (2004)

Cached

Download Links

by Rik Eshuis , Roel Wieringa
Venue:IEEE Transactions on Software Engineering
Citations:28 - 2 self