Browsing by Author Sen, Anup K.
Showing results 3 to 3 of 3
< previous
Issue Date | Title | Author(s) |
---|---|---|
2008-09-01 | Workflows as UML Activity Diagrams: Analytical Methods for Control-Flow Verification | Sundari, M Hema; Sen, Anup K.; Bagchi, Amitava |