Combining Sequence Diagrams and OCL for Liveness
Alessandra Cavarra and Juliana Küster Filipe
Details
| Journal |
Electronic Notes in Theoretical Computer Science |
| Pages |
19−38 |
| Volume |
115 |
| Year |
2005 |
Links
DOI (10.1016/j.entcs.2004.09.025)
Related pages
|
People |