Browsing by Author Bagchi, Amitava
Showing results 12 to 12 of 12
< 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 |