Tool Support for Verifying UML Activity Diagrams (2004)

View PDF

Download Links

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