TRIM: A tool for triggered message sequence charts
| Title | TRIM: A tool for triggered message sequence charts |
| Publication Type | Conference Papers |
| Year of Publication | 2003 |
| Authors | Sengupta B, Cleaveland R |
| Conference Name | Computer Aided Verification |
| Date Published | 2003/// |